Add an example of case sequences as partial functions.