Added Ord instance to Proxy