大きな勘違いをしていたかも。モナドの十分な要件って、 ある型aに対してそのコンテナとなる型M(a)が定義される 関数unit_a:a→M(a)、bind_aa:M(a) → (a → M(a)) → M(a)が定義される*1 unit_aとbind_aaについてモナド則が成り立つ 型aの要素xとf:a→M(a)となる…