Por ejemplo, la definición del tipo árbol binario con información en los nodos de tipo "T" se escribe en Ocaml como sigue: