It seems so beautiful. // generics func useAnimal( animal: A) { /* ... */ } // opaque argument types (sugar of ^) func useAnimal( animal: some Animal) { /* ... / } // existential (argument) types func useAnimal(_ animal: any Animal) { / ... */ } // "reverse generics" fu...