ファンクター則もモナド則同様、じっくり見れば当然満たすべきものだとわかると思います。次のような引数で受けたものをただ返すだけの関数です。x}モナドって何の役に立つの?ここまで見てきても、モナドがどういうものか、どのように役立つのか、よくわからないと思います。本節では例を使ってモナドを説明します。僕がモナドについていちばんしっくり来たのは説明を紹介します3。実際にモナドを使っていてもこういう感覚で使います。モナドというのは、モナドでくるまれた中の世界ではモナドを気にせずに処理が記述でき、外からみるとモナドでくるまれているという、外と中を分離するための仕組みです。具体例を見てみましょう。書きますが、これらは等価です。書いた方が、前述のモナドの条件と見比べやすいと思うのでそのように書きます。