Module semigroupoid 

Traits

Semigroupoid

A type class for semigroupoids.

Functions

semigroupoid_compose

Takes morphisms f and g and returns the morphism f . g (f composed with g).