Andrew Welch wrote:

> You don't even have to validate any input, because the match
> pattern contains the type it knows that "wrong" is not a child
> of <root>... fantastic :)

  Well, if you don't validate, you can't match on the type ;-)

--drkm