Mind explaining why algebraic types are better? than cased objects and why a limitation in the fields iterator, that prevents `==` to be automatically lifted, i

Mind explaining why algebraic types are better? than cased objects and why a limitation in the fields iterator, that prevents `==` to be automatically lifted, is connected to that?