(*<*) theory Monad_Transformer imports Lazy_List_Monad Maybe_Monad Error_Monad Writer_Monad Binary_Tree_Monad Lift_Monad Resumption_Transformer State_Transformer Error_Transformer Writer_Transformer begin end (*>*)