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.