We need to know that the cases are exhaustive in order to infer the constant function f x = 2.
