_IsEqual

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