Actually I'm gonna abandon this, it doesn't help in the way I hoped it would. For ADTs, this reports all cases where the two datums are the same subtype as equivalent... which means that follow-up comparisons added with comparator-chain won't know which branches of the ADT the data can be assumed to be.
Actually I'm gonna abandon this, it doesn't help in the way I hoped it would. For ADTs, this reports all cases where the two datums are the same subtype as equivalent... which means that follow-up comparisons added with
comparator-chainwon't know which branches of the ADT the data can be assumed to be.