Control.Monad.MaybeK

The partiality monad

data MaybeK a

runMaybeK

toMaybeK

maybeK

The partiality monad transformer

data MaybeKT m a

runMaybeKT

toMaybeKT

liftMaybeK

lowerMaybeK