Polymorphic Iterable Sequential Effect Systems