[Haskell] The real Monad Transformer