使ったモナディックなチェインはある演算から次の演算へとコンテキストを引き渡すということだった。あっただけで、チェイン全体が島流しとなる。引き渡されるコンテキストはモナドのインスタンスによって異なる。よって状態オブジェクトの明示的な引き渡しを自動化する。比較したときに有用な直観だけどもストーリーとしては全体像を語らない。これらがシェルピンスキーの三角形のようなフラクタルであることだ。フラクタルの個々の部分が全体の形の自己相似となっている。して取り扱うことができる。データ構造の押し潰しを体現する。関してモナドを形成すると言うことができる。関してモナドを形成しているみたいだ。yield(b)このような合成は自由モナドでもみた。同じモナド・インスタンスの中ではモナディック値は合成することができる。フラクタルを探しだす独自のモナドを発見したいと思ったら、フラクタル構造に気をつけるべきだ。実装できるか確かめてみよう。モナドはフラクタルだ。