型コンストラクタの話 data Maybe a = Nothing | Just a aが型引数でMaybeは型コンストラクタという。型コンストラクタからMaybe Int, Maybe Char, Maybe Stringなどの型を作ることができる。 Haskell には型推論があるので、たいてい明示的に型コンストラク…

すごいH本 part40