Implementing a basic continuation based Monadic Effect

Learn
16

I am looking at them Are the complains about Free Monad performace just pointless, and no different to a corresponding Monad construction? .

I will try to get it reifying a free monad transformer.