Module

Test.Abides.Control.Bind

#associative

associative :: forall m a b c. Bind m => Eq (m c) => (a -> m b) -> (b -> m c) -> m a -> Boolean

Modules