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).

This follows from #76.