Data.Profunctor.Codensity
data
Codensity
p a b
decomposeCodensity