liftMaybe package:extensible-effects

Lift a maybe into the Fail effect, causing failure if it's Nothing.
liftMaybe in a lifted Monad