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

Diagrammatic composition.