Remove non-exhaustive pattern-matching warning