Haskellに触れれば嫌でもモナドを意識しないわけにはいかない。だが、Haskellの仕様はモナドを表現するためにとても向いているとは言えるものの、モナド則を満たすように定義するのはユーザーの責任なんである。つまり、モナドというのはHaskellに与えられた…