Morphism composition. Implementations should satisfy the law:
- Associativity f . (g . h) = (f .
g) . h
This means that the way morphisms are grouped is irrelevant, so it is
unambiguous to write a composition of morphisms as
f . g
. h, without parentheses.