TypeApp

Coerce

Functor

Monad

Monad_Zero

Monad_Plus

Monad_Zero_Plus

Lazy_List_Monad

Maybe_Monad

Error_Monad

Writer_Monad

Binary_Tree_Monad

Lift_Monad

Resumption_Transformer

State_Transformer

Error_Transformer

Writer_Transformer

Monad_Transformer