For the distributive conditional `Check<T> = T extends string ? "yes" : "no"`, what are the resolved types of `Check<any>` versus `Check<unknown>`?
type Check<T> = T extends string ? "yes" : "no";
type AnyCase = Check<any>;
type UnknownCase = Check<unknown>;