Cet article propose de survoler un cas d’école de l’usage des types algébriques généralisés (GADTs).