Haskellの(x : xs)をしりたい

Question

Haskellでappend[1,2,3][4,5]を入力すると[1,2,3,4,5]を出力するappend関数がよくわかりません。
(x : xs) ysでなにをやっているかわからないのでこちらのサイトを参考にしてtrace でデバッグしたいのですが
? No instance for (Show a) arising from a use of ‘show’
Possible fix:
add (Show a) to the context of
the type signature for:
append :: forall a. [a] -> [a] -> [a]
? In the first argument of ‘(++)’, namely ‘show x’
In the first argument of ‘trace’, namely
‘(show x ++ "" ++ show xs ++ "" ++ show ys)’
In the first argument of ‘($)’, namely
‘trace (show x ++ "" ++ show xs ++ "" ++ show ys)’
|
15 | trace (show x++""++show xs++""++show ys) $ --デバッグ
上記のエラーが吐かれます。
どのようにしたらappend (x : xs) ys =x : append xs ysを視覚化できるか教えてください

append :: [a] -> [a] -> [a]
append []       ys = ys
append (x : xs) ys =
  trace (show x++""++show xs++""++show ys) $ --デバッグ
  x : append xs ys

Answer 1

とりあえず、型をこのように指定すれば通ります。

append :: Show a => [a] -> [a] -> [a]

ただ、これだとトレース結果が見づらいので、こんな感じでどうでしょうか。

append :: Show a => [a] -> [a] -> [a]
append []       ys = ys
append (x : xs) ys =
  trace (show x++""++show xs++""++show ys) $ --デバッグ
  let rs = append xs ys in rs `seq` x : rs

Comments

[退会済みユーザー]

ありがとうございます

Answer 2

結論からいうと、下記のように、引数の型a（厳密には、型変数aが表す型）にShow型クラスの制約を加えましょう:

append :: Show a => [a] -> [a] -> [a]
-- ... 以下省略 ...

エラーメッセージにおける

Possible fix:

add (Show a) to the context of
the type signature for:
append :: forall a. [a] -> [a] -> [a]

とは、まさにそのことを差しています。

Haskellにおいて型変数aで表される型というのは、Show a => ...と書いて型クラスの制約を明示しない限り、「あらゆる型の内一つ」という意味になります。「あらゆる型」の中にはShow型クラスのインスタンスでない、言い換えればshow関数で文字列に変換できない型もたくさんあります（例えばIO型）。
Show a =>のついてないappend :: [a] -> [a] -> [a]関数だと、そのようなshow関数が使えない型に対しても使用できなければならなくなるので、挙げたようなエラーが発生します。

Comments

[退会済みユーザー]

ありがとうございます