Control.Monad.Codensity
data
Codensity
m a
liftCodensity
lowerCodensity
codensityToRan
ranToCodensity
toCodensity
fromCodensity
codensityToAdjunction
adjunctionToCodensity
improveFree