Control.Morphism.Span
data Span (~>) x y z
data Cospan (~>) x y z