Add case partial function example