es5


Ovviamente non possiamo definire il tipo di dato albero trenario con 
etichette qualsiasi.
Pero' possiamo definirlo, se pur con etichette dello stesso tipo,
con tipo generico

data TerLabTree a = EmptyTLT | MkTLT (TerLabTree a) (TerLabTree a) (TerLabTree a) a

Per discussione sulla definizione, studiare testi.