そもそもHaskellのモナドって計算理論のモナドなのだろうか?
なんか異和感がある