@hackage / heterogeneous-comparison

Comparison of distinctly typed values with evidence capture