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