|Portability||non-portable (GADTs, MPTCs)|
|Maintainer||Edward Kmett <firstname.lastname@example.org>|
The density comonad for a functor. aka the comonad generated by a functor The ''density'' term dates back to Dubuc''s 1974 thesis. The term ''monad genererated by a functor'' dates back to 1972 in Street''s ''Formal Theory of Monads''.
The natural isomorphism between a comonad w and the comonad generated by w (forwards).