Data.Profunctor.Composition
data Procompose p q d c
procomposed
idl
idr
upstars
kleislis
downstars
cokleislis