6: Pattern Match Exhaustivity: _: A