Сложные структуры данных в Haskell - как они работают?

Как я понял, переменные в Haskell неизменяемы (таким образом, на самом деле они не являются ` переменные ').

В этом случае, если у нас есть сложная и большая структура данных, такая как красно-черное дерево, как мы должны реализовать операции, которые фактически изменяют структуру данных?

Создавать копию дерева каждый раз, когда элемент вставляется или удаляется?