Module

Test.Abides.Control.MonadZero

#annihilation

annihilation :: forall m a b. MonadZero m => Eq (m b) => (a -> m b) -> Boolean

Modules