Control.Morphism.Universal
data
Couniversal
a f x
extractCouniversal
couniversalize
couniversalIdentity
data
Universal
a f x
extractUniversal
universalize
universalIdentity