Why not `MonadPlus`?