No entiendo, cómo los compiladores de FP hacen que el código que trata con estructuras de datos inmutables sea rápido, no explotar pila, etc.

Por ejemplo, la operación de inserción en el árbol, tiene que copiar todo el árbol antes de agregar el nuevo nodo y devolver el árbol copiado, en lugar del imperativo couterpart que solo necesita agregar un puntero al nuevo nodo. Si la operación de inserción se ejecuta millones de veces, se necesitaría una carga de memoria y la copia será más lenta y más lenta cuando el árbol sea más grande. ¿Cómo los compiladores de FP realmente optimizan esto?