Type Alias Equals<Left, Right>

Equals: <Type>() => Type extends Left ? 1 : 2 extends <Type>() => Type extends Right
    ? 1
    : 2
    ? true
    : false

Strict type equality check. Unlike IfSame, this distinguishes readonly modifiers, since ordinary mutual extends checks ignore them.