前回こう書いた： ちなみにこの記事を書いている最中にListモナド実装にも重大なミスがあることに気づいた 今回はその話。 reifyの型 Representing Monadsのreifyとreflectの型定義： signature RMONAD = sig structure M : MONAD val reflect : '1a M.t -> …