17: Pattern Match Exhaustivity: _: Bar3
23: Pattern Match Exhaustivity: _: Bar3
29: Pattern Match Exhaustivity: _: Bar3