Idea: Type error chains

I just read through this post abour async errors:

I have actually been wanting something like this for type errors in general. That is, I found find my self doing "type debugging" where I want to find out how the compiler inferred a given type. It seems that Hindley Milner type inferrence produces a chain of constraints that bound a type, so we could find so the same thing as with the errors in the post above...