Control.Comonad.Density
data Density k a