ghci> :t head head :: [a] -> a ここでいうaを型変数という。どんな型もとりうることを意味する。 型変数を用いた関数を多相型関数という。 ジェネリクスに似ているって説明があるけど、よく考えたら動的言語にそういう概念ってないよね。 独習 Scalaz — 型…