That's a result of the Curry Howard Lambek isomorphism. So I'm afraid it's not a new rule. :-)