No more warning 8: pattern matching not exhaustive