 Type assignment systems are often called Curry-style typing systems.  Another way to type terms is by fixing a type for each term, in which case each term has exactly one type. Such calculi are called Church-style typing systems. Then, for example, the identity combinator \(\textsf{I}\) of type