module Control.Monad.Trans public exportinterface MonadTrans (t : (Type -> Type) -> Type -> Type) where    lift : Monad m => m a -> t m a