I think this error message lost some of its readability. Reading it I don't get why it fails it just says expected: a, given: a, where the old message had something about them being different. Being bound in different scopes doesn't seem like its an issue to me. 

This is assuming I'm someone who doesn't understand TR internals.