単相関数
monomorphic function
rank-0 type
関数の型にparameterが存在しない関数
引数と返り値
例
code:hs
add :: Int -> Int -> Int
Monomorphism restriction
Monomorphism - HaskellWiki