> The rules for Y are a bit complex.  They are designed to match our style
> of programming, where we sometimes document patterns by giving names to
> all the arguments, even if they are unused.

I like the use of "_foo", since it not only documents the pattern by giving
it a name (like "foo" does), it also documents the fact that this variable
is not used (like "_" does).


        Stefan