Modules
Data.Semifunctor
Data.Semifunctor.Associative
Data.Semifunctor.Braided
Data.Semigroupoid.Coproduct
Data.Semigroupoid.Ob
Data.Semigroupoid.Product