badAdd: example of non-exhaustive pattern matching