(original) (raw)

I would also be happy with a retreat, where we define \`\_\_eq\_\_\` to insist that the classes are the same, and people can override this to their hearts' content.