La idea del tipo AB es que sean árboles arbitrarios? Pregunto porque el ejemplo de la letra parece ser un árbol balanceado, como los que construíamos (su tipo) en el p3.
Pero podría ser más general, en donde el constructor inductivo toma árboles de altura arbitraria y construye un arbol de altura igual a la altura del mayor subrarbol +1.
Qué es lo que se pide?