Fix shadowing bug with dependent pair bindings