Ryan Ingram wrote:

Newtypes is the general (& sadly unsatisfactory) answer:

Oh dear. Well that _is_ pretty unsatisfactory... Given the constraints of the Haskell type system, could we do better in principle?