fn iter_prod() -> any