For switch statements like the following class Animal {} class Cat : Animal {} class Dog : Animal {} func check(_ arry: [Animal]) { switch arry { case is [Cat]: () case let dogs as [Dog]...