for I being set holds uncurry (I --> {}) = {}