type A1 = any;
type A2 = boolean;
type A3 = number;
type A4 = symbol;
type A5 = string;
type A6 = bigint;
type A7 = never;
type A8 = undefined;
type A9 = unknown;
type A10 = void;
type A11 = this;
type A12 = *;
type A13 = 'a';
type A14 = 1;
type A15 = 2n;
type A16 = true;
type A17 = false;
type A18 = null;
type A19 = typeof x;
type A20 = typeof a.b;
type A21 = [A, B];
type A22 = A.B.C;
type A23 = Foo<Bar>;
type A24 = Foo<Bar, Baz>;
type A25 = Foo<Bar<Baz<T>>>;