type A = (readonly: any) => number;
type B = (infer: any) => number;
type C = (keyof: any) => number;
type D = (asserts: any) => number;
type E = (is: any) => number;
type F = (implies: any) => number;
