16: Pattern Match Exhaustivity: false
18: Match case Unreachable
19: Match case Unreachable