existential.swift

protocol P {
    func go()
}

extension String: P {
    func go() {
        print("String")
    }
}
extension Int: P {
    func go() {
        print("Int")
    }
}

func concrete<T: P>(_ a: T) {
    a.go()
}

func abstract(a: P) {
    concrete(a)
}