Re: [Haskell-cafe] CBN, CBV, Lazy in the same final tagless framework

Felipe Lessa wrote:

which unfortunately needs {-# LANGUAGE RecursiveDo #-} or some ugliness from mfix

But mdo/mfix is awesome! :-( Martijn.