Specifying iterable types