「モナド則再び」で書いた「モナド則1」は何の訳に立つのかという問題ですが、"Monads for functional programming" に答えが載っていました。以下のような加算機を考えます。 data Term = Con Int | Add Term Term data M a = M a deriving Show instance M…