Control.Monad.Extra
whenJust
unit
partitionM
concatMapM
loopM
whileM
ifM
notM
(||^)
(&&^)
orM
andM
anyM
allM
findM
firstJustM