Remove capture of non-exhaustive pattern-matching