|Maintainer||Edward Kmett <email@example.com>|
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)|