Fix == not inducing type dependencies