4: Pattern Match Exhaustivity: THREE
11: Pattern Match Exhaustivity: BLUE