TypeArgumentABI: typeof TypeArgumentABI