Data.Profunctor.Codensity

data Codensity p a b

decomposeCodensity