Re: monomorphism etc.

[Lennart Augustsson]

> > 
> > [...] if you dislike tuples you can use nested pairs
> 
> At the cost of losing a little type-safety.
That's really a very minimal loss.  (And it's not really a loss of
type safety, just the possibilty of confusing a part of a "tuple" with
another "tuple").  I'd be more worried about the performance loss due
to the extra lifting for each nested pair.

But tuples should be used very sparingly anyway, in my opinion.
Define new types instead!

       -- Lennart