Getting rid of non-exhaustive match warnings