ExtLib.Structures.MonadTrans

Require Import ExtLib.Structures.Monad.

Set Implicit Arguments.

Class MonadT (m : Type -> Type) (mt : Type -> Type) : Type :=
{ lift : forall {t}, mt t -> m t }.