More correct and expressive diagnostic for Binder
Check binder key paths, not just keys