[Haskell-cafe] Introducing monad-embed