World”を受け取り”HW”を返してるな。ややこしくなってきた。読めないが、いったんそう覚えておく。型変数headって、リストを引数に渡せば文字だろうが数値だろうがheadを返してくれる。aa...だと...。aは型変数と呼ばれ、どんな型でもとれる。aは同じである必要がある。型クラスなんらかの振る舞いを定義するインターフェース関数の集まり型クラスに集まる関数をメソッドとも呼ぶ関数が特殊文字のみの場合、デフォルトで中置関数になる+とか*とかふーむ。わからんので実例を見てみよう。1つの何かの型の引数と1つの何かの型の引数を受け取り、Bool型を返す。23これはIntとIntを渡してIntが返る。