[rowanG077]

Because your code is very much overconstrained at that point. For the same reason you don't add a `Num a` constraint to list `head` function. You have now essentially fused your function to your codebase.

[kccqzy]

That's not a problem in business logic heavy code. Requirements change and you could use previously unnecessary constraints at any time.