Comonads, ClosedMonoidalCategory, instances, etc
Cartesian/Cocartesian categories.