Test existential too
Test existential too

typelift/SwiftCheck,CodaFi/SwiftCheck,mpurland/SwiftCheck,kykim/SwiftCheck,CodaFi/SwiftCheck,typelift/SwiftCheck,mpurland/SwiftCheck,kykim/SwiftCheck,ryanbooker/SwiftCheck,typelift/SwiftCheck,mpurland/SwiftCheck,CodaFi/SwiftCheck,ryanbooker/SwiftCheck,CodaFi/SwiftCheck,typelift/SwiftCheck,typelift/SwiftCheck,CodaFi/SwiftCheck