Algebra.Monad.Foldable
class MonadList m
data ListT m a
listT
data TreeT m a
treeT
data MaybeT m a
maybeT
data StrictT m a
strictT