Somehow notify the user if their type signature is less general than what could be inferred

[pchiusano]

Example is like:

Parse.many : '{Parse e} a -> '{Parse e} [a]

Whose implementation might permit the type:

Parse.many : '{Parse e,g} a -> '{Parse e,g} [a]

[gampleman]

Is that a good thing? There are plenty of times where going with a more concrete type signature is reasonable and good practice.