the context co-effect

Co-effect that is dual to the input effect. Interpreted canonically via the comonad

data Product c a = Product c a

instance Comonad (Product c) where
  extract (Product _ x) = x
  duplicate p@(Product c _) = Product c p

Useful for referring to additional values in a comonadic context.