Les types des monnaies Euro.t et Dollar.t sont abstraits donc incompatibles. Il n'est donc plus possibles d'écrire une fonction de coercion.

La solution est de donner dans un premier temps des versions concrète des modules Euro et Dollar, implémenter les fonctions de coercion puis d'exporter les modules Euro et Dollar de façon abstraite.