Understanding the Behavior of `S.Class` Generic in TypeScript: An Unexpected Outcome

class Example extends S.Class<Example>('Example')({
  foo: S.string,
  bar: S.number,
}) {}

type C<T> = T extends S.Class<any, any, any, any, any, any, any, any> ? true : false;
type IsClass = C<typeof Example>; // false