ここ数日、Why free monads matterの記事を読んでいました。 非常に簡単にモナドを構成できるのはわかったけれど、 これで何が嬉しいのかよくわかりませんでした。 で、記事を読み進めていくうちに、手続き自体の構造を記述するのに非常に便利なのではないか…