Removed redundent definition for 2 element Tuple Ord.