> In your `bar` case, `bar xs = 42` is also a solution.

Not if you add the condition that the type must be as general as possible.