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