Archived tweet #9784 from the @leastfixedpoint Twitter Archive@ciphergoth Yep, but canonicalization depends on having a real equivalence underneath, and it's *that* that's crucial for my purposes (pattern-based dispatch; deduplication). The canonicalization is almost a freebie, given a real equivalence :-)