なんかはてなブログ重くないですか？タスクマネージャを開いて確かめたので間違いない Free モナド こういうやつです 1 (ただし、fはFunctorのインスタンスであるとする) data Free f a = Pure a | Join (f (Free f a)) JoinじゃなくてFreeと書かれているこ…