Control.Monad.Extra

whenJust

unit

partitionM

concatMapM

mapMaybeM

loopM

whileM

whenM

unlessM

ifM

notM

(||^)

(&&^)

orM

andM

anyM

allM

findM

firstJustM