trait MonadZero[m: Type -> Type] with Monad[m]
A trait for Monads that have a zero element.
def empty(_unit: Unit): m[t] with MonadZero[m]
Returns the zero element of the monad.