Data.Profunctor.Ran
data Ran p q a b
decomposeRan
precomposeRan
curryRan
uncurryRan
data Codensity p a b
decomposeCodensity