More type inference proof.