型変数 Haskellの head 関数の型を見てみる。 *Main> :t head head :: [a] -> a この a が型変数と呼ばれる。型変数によって関数を複数の型に対して動作するようにできる。型変数を用いた関数は多相的関数と呼ばれる。 どのような型でも良いという性質のこと…