The densityT comonad for a functor. aka the comonad generated by a functor
The ''densityT'' 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''.