`Eq` takes at most two arguments.