Add example of dependent pattern matching.