Module

Test.Abides.Control.Semigroupoid

#associative

associative :: forall q a b c d. Semigroupoid q => Eq (q a d) => q c d -> q b c -> q a b -> Boolean

Modules