Abstract
This paper introduces a type-preserving XML Schema–Haskell data binding (or, translation) UUXML, and shows how to customize
it by exploiting the theory of canonical isomorphisms to automatically infer coercions between the machine-generated types
and an equivalent, more natural, user-defined set of types.We show how to implement the inference mechanism in Generic Haskell.