Control.Comonad.Density
data
Density
k a
densityToLan
lanToDensity
toDensity
fromDensity
liftDensity
lowerDensity
densityToAdjunction
adjunctionToDensity
densityToComposedAdjunction
composedAdjunctionToDensity
improveCofree