15: Pattern Match Exhaustivity: (Up, Down)
33: Pattern Match Exhaustivity: Down
51: Pattern Match Exhaustivity: (Up, Down)