:: (a -> b) -> (b -> c) -> (a -> c) package:BNFC

Diagrammatic composition.