Control.Comonad.Context
class ComonadContext s w
data Context s a
data ContextT s w a