fix existential operator && issue with importing