MonadLib
data Id a
data Lift a
data IdT m a
data ReaderT i m a
data WriterT i m a
data StateT i m a
data ExceptionT i m a
data ChoiceT m a
data ContT i m a
class MonadT t
class BaseM m n
class ReaderM m i
class WriterM m i
class StateM m i
class ExceptionM m i
class ContM m
class AbortM m i
data Label m
class RunM m a r
class RunReaderM m i
class RunWriterM m i
class RunExceptionM m i