7: Pattern Match Exhaustivity: Lit(_)