1 2 3
17: Pattern Match Exhaustivity: _: Bar3 23: Pattern Match Exhaustivity: _: Bar3 29: Pattern Match Exhaustivity: _: Bar3