withConsK

MkMonad0

withTraverse

TraverseOps

withoutConsK

MkMonad1