Equality doesn't need a primitive when you've got pattern matching.