@hackage heterogeneous-comparison0.1.0.0

Comparison of distinctly typed values with evidence capture

There are times when values need to be tested for equality or compared for ordering, even if they aren't statically known to be of equivalent types. Such a test, if successful, may allow that knowledge to be recovered. We improve upon the state of the art in this domain by generalising over different notions of type equivalence.