Numeric.Coalgebra.Categorical: exported symbols usage examples

Symbols