Monad.Maybe

whenJust

whenJustM

whenNothing

whenNothing_

whenNothingM

whenNothingM_