Quali sono gli usi dei tipi di dati algebrici?

Question

Sto leggendo Tipi di dati algebrici (Grazie a Richard Minerich l'ho trovato Eccellente spiegazione del concetto). Mentre penso di capire la nozione di tipi di somma e tipi di prodotto, ecc., Ciò che non ho capito è come i tipi di dati algebrici siano utili oltre a specificare la corrispondenza dei pattern. Quali altre cose si possono fare con la corrispondenza di ADT Beyond Pattern?

---

EDIT: non sto chiedendo cosa può fare uno sviluppatore con ADT che non può essere fatto con gli oggetti. Sto chiedendo se ci sono altre operazioni che ADT consentono; Ad esempio, si può fare ulteriori ragionamenti sui tipi coinvolti se vengono impiegati ADT? ADT facilita una sorta di analisi di tipo che non sarebbe possibile senza di loro?