Comonad (EnvC p)