まず、answer type modification のことは忘れてください。次に実行モデルを思い浮かべて monad を作りましょう。unit と bind が必要です。(3/12追記: monad 則にも注意しましょう)最後に reflect = λm. shift (λk. bind (m, k)) reify = reset . unit とい…