Type Alias EqualReadonly<X, Y>

EqualReadonly: <T>() => T extends X ? 1 : 2 extends <T>() => T extends Y ? 1 : 2
    ? <T>() => T extends Y ? 1 : 2 extends <T>() => T extends X ? 1 : 2
        ? true
        : false
    : false