7332e9c1d ^
1 2 3
16: Pattern Match Exhaustivity: false 18: Match case Unreachable 19: Match case Unreachable