Module

Test.Abides.Control.MonadPlus

#distributive

distributive :: forall m a b. MonadPlus m => Eq (m b) => (a -> m b) -> m a -> m a -> Boolean

Modules