1) Se sabe que el último elemento es 3, pero para llegar a él hay que recorrer toda la lista.
2) El caso d no funciona para la lista [], dado que siempre se intenta hacer tail. En los demás casos (a,b y c), cuando xs es vacía no se intenta hacer el head.
3) recorreL sólo necesita que se genere el camino de subárboles a la izquierda, y eso sí lo puede generar genera. Cualquier intento de ir a un subárbol derecho diverge.
saludos