[Haskell]結局、モナド則は何を要求しているのか - Qiita

Qiita 初投稿です。仲良くしてね (*´σｰ｀)ｴﾍﾍ モナド則の解釈に悩む Haskell 初心者の方向けの記事です。 はじめに Haskellに入門すると、すぐにモナドという概念に向き合うことになります。 モナドは純粋関数型言語であるHaskellの中で手続きを扱うための概念であり、モナドを使うと 手続きを記述できる 入出力を伴う処理が書ける 例外処理が書ける 書き換え可能なグローバル変数をエミュレートできる パーサが簡単に書ける などなど、なんだか便利そうです。 そしてモナドを解説する記事や本を読むと、必ず モナド則 という、3つの式からなるモナドの条件が説明されています。 また、自分でモナドを作るときにはこれらのモナド則を満たさなければいけない、とも書かれています。 この記事の目的は、 「これらの式が自作モナドにどんな性質を要求しているのか」 「モナド則を満たすとどんなメリット