> definition. `E of string * string' defines an exception with two
> arguments of type string, which has a different representation than an
> exception with one argument of type "tuple of strings". The latter
> should be defined as `E of (string * string)'. There's the same issue
> with variant types (but not the polymorphic ones !).

I think this is another place where Haskell got it right: make those
constructors curried so that it's obvious that it's not carrying a tuple.


        Stefan