用GADTs和typeclass约束对类型变量进行Haskell类型推断

Question

我定义了一个自定义GADT，其中类型构造函数对类型变量有一个类型类约束，如下所示：

data MyGadt x where
  Sample :: Show a => a -> MyGadt a

foo (Sample a) = show a

bar a = Sample a

我假设我不必提到约束，因为它是在GADT定义中声明的。我唯一能想到的部分原因是GADT在函数中的位置。我对此不太了解，但据我所知，mygadt在foo中处于正位置，在bar中处于负位置。

我什么时候必须明确地提到类型类约束，什么时候GHC自己根据GADTs类型构造函数上的约束来解决它？

Answer 1

使用GADT的全部意义在于，您希望约束显示在bar的签名中，而不是foo。如果您不想这样做，那么可以使用普通的旧newtype:

newtype MyAdt = Sample a

foo :: Show a => MyAdt a -> String
foo (Sample a) = show a

bar :: a -> MyAdt a
bar = Sample

在foo和bar中使用约束显然不能起作用，因为这样您就可以例如。

showFunction :: (Integer -> Integer) -> String
showFunction = foo . bar