8: Pattern Match Exhaustivity: _: A
17: Pattern Match Exhaustivity: (_, _), (_, None), (_, Some(_))
28: Pattern Match Exhaustivity: (_, _)