MonadPlus +base

class Monad m => MonadPlus m
base Control.Monad
Monads that also support choice and failure.