Control.Comonad.Density
data Density k a
liftDensity
densityToAdjunction
adjunctionToDensity
densityToLan
lanToDensity