Extending pattern matching is a trap in programming language design

Apologies about the title. It was really hard to give this a title.