Haskell Advent Calendar 2014 の22日目のエントリーです。 導入 Haskell では計算を持った値であることを型で表わすことができる。 とくに計算を持っていない型は Int や a のような形をしている。 しかし例えば Maybe Int ならば、結果の型 Int の値は得ら…