flix
trait MonadZero[m: Type -> Type] with Monad[m]
Trait for types that are monads with a zero element.
Vector
Chain, DelayList, List, Option
def empty(): m[t] with MonadZero[m]
Returns the zero element of the monad.