Tighten checking for associated type instances