Forme linéaire de l'arbre de type

sans les noms de types,

avec les constructeurs et les types de base.

{TTT(([TT]))}