darcs patch: Add equating p x y = p x == p y