Les types de données algébriques généralisés, les gains, constituent une forme plus puissante de types de données algébriques prenant en charge les types de constructeurs personnalisés.
Je veux faire un constructeur intelligent intelligent pour les données.MAP avec une certaine contrainte sur les types de relations de paires de clé / de valeur. C'est la contrainte q ...
