-spec mzero() -> monad(_A).
-spec mplus(monad(A), monad(A)) -> monad(A).