Haskell：Algebric数据类型，其类型变量需要是类型类的实例

Question

我正在尝试定义代数类型：

data MyType t = MyType t

并使其成为Show：

的实例

instance Show (MyType t) where
  show (MyType x) = "MyType: " ++ (show x)

GHC抱怨因为它无法推断'Show（MyType t）'中的类型't'实际上是Show的实例，这是（show x）所需的。

我不知道在哪里以及如何声明't'是Show的实例？

Answer 1

在t的类型上添加类型约束：

instance Show t => Show (MyType t) where
  show (MyType x) = "MyType: " ++ (show x)

Answer 2

您也可以：

data MyType t = MyType t
    deriving Show

如果你想要一个常规的节目格式。

Answer 3

另一个解决方案是使用GADT：

data MyType t  where 
   MyType :: Show a => a -> MyType a