type IfNumberThenBoolean<N> = N extends number ? boolean : string;

type IfNumberThenNull<X> = IfNumberThenBoolean<X> extends boolean
  ? null
  : string;

type shouldBeNull = IfNumberThenNull<number>;