First, types are first-class entities, of type ⋆ {\displaystyle \star } ; types are arbitrary expressions of type ⋆ {\displaystyle \star } , and type equivalence is defined in terms of the types' normal forms.
În primul rând, tipurile sunt entități de primă clasă, de tip ⋆ {\displaystyle \star } ; tipurile sunt expresii arbitrare de tip ⋆ {\displaystyle \star } , iar tipul de echivalență este definit în termenii formelor normale ale tipurilor.