Monadic Programming in Scheme の Haskell の例ですが、肝心の make_node のコードがないので、さっぱり理解できませんでした。試行錯誤の結果、以下のようにすると動きました。 type Numbered a = (Int, a) newtype NumberedM a = NumberedM (Int -> Numbe…