Type Alias _IsEqual<A, B>

_IsEqual: <G>() => G extends A & G | G ? 1 : 2 extends <G>() => G extends | B & G
| G
    ? 1
    : 2
    ? true
    : false