Par l'isomorphisme (Ass-0), les types "unit * a" et "a" devraient être unifiables. La normalisation des deux types donne "(a)" (singleton) et "a", qui ne sont pas unifiés actuellement. On peut s'en sortir en traitant spécifiquement le cas d'un singleton dans [Type.make_tuple].
Par l'isomorphisme (Ass-0), les types "unit * a" et "a" devraient être unifiables. La normalisation des deux types donne "(a)" (singleton) et "a", qui ne sont pas unifiés actuellement. On peut s'en sortir en traitant spécifiquement le cas d'un singleton dans [Type.make_tuple].