多相性
型変数を指定して多相型を定義し，汎用的に関数を利用できるようにする仕組み．
code:.hs
a -> a
aが型変数であり，文字列でも数値でも対応できる．