Data.Profunctor.Rift

data Rift p q a b

decomposeRift

precomposeRift