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?