type Not<B extends boolean> = B extends true ? false : true;