Control.Comonad.Reader
data Coreader r a
data CoreaderT w r a
class ComonadReader r w