Type alias IfEquals<X, Y, A, B>

IfEquals<X, Y, A, B>: (<T>() => T extends X
        ? 1
        : 2) extends (<T>() => T extends Y
        ? 1
        : 2)
    ? A
    : B