Numeric.Coalgebra.Categorical

data Morphism a