まずは元論文にもある リストの appendを限定継続で書く例。この時点でついて行けてなかった。実はOlegさんのソースにもあるのだけど自分で書き直してみる。 -- -fno-implicit-prelude を指定すること (GHC 6.6) import ShiftResetGenuine import Prelude hi…