y en sintaxis de Haskell (con información en los nodos de tipo "t"):