Structural indexed comonads (Chapter 05)