We can now derive Ord ()