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