comonads indexed by natural numbers - with trivial semantics