Monad.Maybe

maybeToMonoid

whenJust

whenJustM

whenNothing

whenNothing_

whenNothingM

whenNothingM_