|Maintainer||Edward Kmett <firstname.lastname@example.org>|
Discont is the Density comonad of a constant functor, just as Cont is a Codensity monad of a constant functor.
Note that Discont and Context are isomorphic, but DiscontT and ContextT are not.
The discontinuation comonad transformer
|DiscontT (w s -> a) (w s)|