7332e9c1d ^
0c4a06f84 ^
1 2
3
15: Pattern Match Exhaustivity: (Up, Down) 33: Pattern Match Exhaustivity: Down 51: Pattern Match Exhaustivity: (Up, Down)