Numeric.Coalgebra.Categorical
data
Morphism
a