Remove genericity from pattern matching example.

This simplifies the example, as the reader is not
distracted with the type parameterization (which is
non-obvious due to covariance).
Merge pull request #94 from sjrd/proposal/simpler-pattern-matching-snippet

Remove genericity from pattern matching example.