Control.Monad.Codensity

data Codensity m a

lowerCodensity

codensityToAdjunction

adjunctionToCodensity

improve