Défaillance de l'axiome (Ass-0)

[clef-men]

Par l'axiome (Ass-0) et curryfication, les types "a -> 'a -> b" et "a -> b" devraient être unifiables avec { 'a = unit } ; de même pour "a -> 'a -> 'b" et "a -> b". Ce n'est pas le cas en l'état.