DeepControl.Monad.Trans

MonadTrans

class MonadTrans_ m t

Level-2

trans-roll

transfold2

untransfold2

Level-3

trans-roll

transfold3

untransfold3

Level-4

trans-roll

transfold4

untransfold4

Level-5

trans-roll

transfold5

untransfold5

Level-2 example