Control.Comonad.Density

data Density k a

liftDensity

densityToAdjunction

adjunctionToDensity