Verify.Monad_Zero
M : Interface.MONAD_ZERO
include sig ... end
val annihalation : ('a -> 'b M.t) -> bool