ts// prettier-ignore type Equal<X, Y> = (<T>() => T extends X ? 1 : 2) extends (<T>() => T extends Y ? 1 : 2) ? true : false;
tstype NotEqual<X, Y> = true extends Equal<X, Y> ? false : true