10: Pattern Match Exhaustivity: NotHandled(_)