Type alias Equals<T, U>

Equals<T, U>: (<G>() => G extends T
        ? 1
        : 2) extends (<G>() => G extends U
        ? 1
        : 2)
    ? true
    : false

Evaluates to true if the types T and U are equal.