ハスケル：そのタイプの変数私はalgebricタイプを定義しようとしています型クラス

Question

のインスタンスである必要がありAlgebricデータ型GHCは、 'Show（MyType t）'の型 't'が実際に（show x）に必要なShowのインスタンスであると推論することはできないため、GHCは苦情を申し立てます。

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

A更に別の解決策はGADTsを使用することである。

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