Type alias IfEquals<T, U, Y, N>

IfEquals<T, U, Y, N>: (<G>() => G extends T
        ? 1
        : 2) extends (<G>() => G extends U
        ? 1
        : 2)
    ? Y
    : N