"Pattern Matching with Case Classes" fully verified