[Haskell-beginners] Constructors as functions (was monad transformers)