如何在Haskell中的约束中应用通配符？

Question

这听起来微不足道,但我无法找出我应该做的事情.

以下是我的类型定义:

data CDeq q a = Shallow (q a)
              | Deep{ hq   ? q a
                    , susp ? CDeq q (q a)
                    , tq   ? q a }

我希望它有一个实例Show.

由于GHC不允许deriving在这里,我只是试着自己写一个:

instance (Show a, Show ????) => Show (CDeq q a) where
    ....

但我卡住了

我不知道如何for all type v, (q v) can be shown在Haskell中表示这一点.

我不能简单地做以下事情:

instance (Show a, Show (q a)) => Show (CDeq q a) where
    ....

因为要显示CDeq q (q a),Show (q (q a))是必需的,然后Show (q (q (q a)))需要,然后继续.

所以我想知道是否有一种语法可以表达我在那里所说的含义？

我曾经认为forall可以解决这个问题,但它不起作用:

instance (Show a, forall v. Show (q v)) => Show (CDeq q a)

Answer 1

还有一类Show1在Prelude.Extras表示"对于所有类型的v,(q v)可以证明".

class Show1 f where
  showsPrec1 :: Show a => Int -> f a -> ShowS
  default showsPrec1 :: (Show (f a), Show a) => Int -> f a -> ShowS
  showsPrec1 = showsPrec
  ...

您可以使用它来编写show实例CDeq q a.

instance (Show a, Show1 q) => Show (CDeq q a) where
    ....

您将使用show或showsPrec在q x您使用show1或使用的地方showsPrec1.

如果您使用这些,您还应该提供实例CDeq q.

instance (Show1 q) => Show1 (CDeq q) where
    showsPrec1 = showsPrec