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?
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe