Hi Alan, >Clean provides a type synonym construct, but this does not provide distinct >types thus inhibiting overloading. In general it is not sound to allow type synonyms as instantiation of overloaded functions. Therefore we do not allow it. Greetings, Rinus