Fix Ord and Eq infinite recursion