Comonads, ClosedMonoidalCategory, instances, etc