export type Negate<T> = T extends true ? false : true;