Type Alias $Same<A, B, $O>

$Same: <_>() => _ extends A & _ | _ ? 1 : 2 extends <_>() => _ extends B & _
| _
    ? 1
    : 2
    ? $O["$then"]
    : $O["$else"]

🎭 predicate

Validate A and B are identically equal.