_IsEqual

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

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