1 -- This file is understood to be in the public domain.
    2 
    3 module MonadTrans where
    4 
    5 
    6 {-
    7  - This provides a way of accessing a monad that is inside
    8  - another monad.
    9  -}
   10 
   11 class MonadTrans t where
   12    lift :: Monad m => m a -> t m a
   13 
   14 --liftTrans :: (MonadTrans t) => (a -> t m b) -> (t m a -> t m b)
   15 --liftTrans f m = do { a <- m ; f a }