Another new typing rule