indexed comonad