3: Pattern Match Exhaustivity: _: C