なければうまくいかないケースもあります。解答がそれに当たるので、そちらを御覧下さい。わかりづらいところもあるので、過去の投稿の中から、他のモナドについて述べたものを挙げておきます。持った型で、それらがファンクター則、モナド則を満たしている必要があります。使うと、モナドに包まれた中の世界とモナドの外の世界を分離したまま処理を記述することができ、いちいち包まれた値を取り出したり包みなおしたりしなくていいので便利です。