Por ejemplo, en Ocaml, "AVacio" es un árbol al igual que "Nodo (AVacio,5,AVacio)".