Minor refactoring to share InstEnv.instanceBindFun