Control.Morphism.Universal
data Couniversal a f x
data Universal a f x