If Lennart was asking, `Shall we make laws a paramount design feature
of Haskell, and therefore go for unlifted tuples, unlifted functions,
and no n+k or literal patterns', my answer would be `let's go for it'.
But I suspect what Lennart is really asking is `Shall we ignore laws,
have lifted tuples and functions, have literal patterns, but drop n+k
patterns because I never use them'. That's a fine argument based on
what Lennart uses (which is a reasonable criterion), but has nothing to
do with laws.
Cheers, -- P