protocol A {} struct S<T> {} struct K: A {} extension S : A where T: A {} print(S<K>.self is A.Type) print(S<S<K>>.self is A.Type) print(S<S<S<K>>>.self is A.Type)
