Comonad.TRANSFORMER
type 'a comonad
The inner comonad.
type 'a t
The type held by the comonad transformer.
val lower : 'a t -> 'a comonad
get the underlying comonad.