Quelles sont les utilisations des types de données algébriques?

Question

Je lis sur Types de données algébriques (Merci à Richard Minerich, j'ai trouvé ceci Excellente explication du concept). Bien que je pense que je comprends la notion de types de somme et de types de produits, etc., ce que je ne comprends pas tout à fait, c'est comment les types de données algébriques sont utiles au-delà de la spécification de la correspondance des modèles. Que faire d'autres choses avec les ADT au-delà de la correspondance des modèles?

---

Edit: Je ne demande pas ce qu'un développeur peut faire avec ADT qui ne peut pas être fait avec des objets. Je demande s'il y a d'autres opérations que les ADT permettent; Par exemple, peut-on faire un raisonnement supplémentaire sur les types impliqués si les ADT sont employés? Les ADT facilitent-ils une sorte d'analyse de type qui ne serait pas possible sans eux?