Add a function function eq<A, B>(x: IsExact<A, B>) {}

[Jack-Works]

// before
asserts<IsExact<T1, T2>>(true)
// after
eq<T1, T2>(true)

[kevinpeno]

Not speaking for the maintainers, but based on this comment a limited, but verbose, API is preferable. I tend to agree when talking about testing interfaces as well, fwiw. If there's anywhere readability and verbosity is important, its in the "self-documentation"