Proposal: is.equalType()

[younho9]

It would be useful as a type guard function of inferring the type of another variable compared to the type of one variable.

is.equal = <A>(a: A, b: unknown): b is A => is(a) === is(b);

/**
const b: unknown = 'unknown value';

if(is.equal('hello', b)) {
	b // b is string.
}
*/

It would be not strict type level equal.

Related: sindresorhus/ts-extras#2

[sindresorhus]

I'm not sure this is a good idea. It would work fine for simple things, but for most custom objects, the type would just be Object, which means it would be true even when the objects differ.

[younho9]

Your point is right... To correctly infer the object type, a deep identity comparison is required, but I think it's too expensive for type inference.