Haskellで `print 'を使用しているため、（Show a0）のインスタンスがありません

Question

私はHaskellで初めてです。トピックを学びます。ここHaskellの書籍「再帰的なデータ構造」

は私のコード

data List a = Empty | Cons a (List a) deriving (Show, Read, Eq, Ord) 

main = do 
    print $ Empty 
    print $ 5 `Cons` Empty 
    print $ 4 (Cons 5 Empty) 
    print $ 3 `Cons` (4 `Cons` (5 `Cons` Empty)) 

、ここでは私が

No instance for (Show a0) arising from a use of `print' 
The type variable `a0' is ambiguous 
Possible fix: add a type signature that fixes these type variable(s) 
Note: there are several potential instances: 
    instance Show a => Show (List a) 

Answer 1

Emptyを取得し、エラーメッセージがListのいずれかのタイプにすることができているであるからですどんな場合でもshow Emptyが"Empty"になる場合がありますが、showがまったく動作していますが、コンパイラはそれを実際には知りません。実際の例では、種類によって種類が異なる場合があります（show ([] :: [Int])とshow ([] :: [Char])をghciで比較してください）。show Emptyの実行方法を決定するために使用するタイプを選択する必要があります。とても簡単修正：

main = do 
    print $ (Empty :: List Int) 
    ... 

も、4 (Cons 5 Empty)ラインにConsを追加することを忘れないでください！