Discuss associativity.
EquatableOf.
Link to code in the readme.