2: Pattern Match Exhaustivity: B
6: Pattern Match Exhaustivity: B