無理です
TypeScriptのような強力な型システムを備えていれば、
2つの型が等しいことを確かめることは原理的にできません