4: Pattern Match Exhaustivity: false
11: Match case Unreachable