One thing I never fully understood was how can immutable types in purely-functional languages be performant at all. They can't possibly rely on copying all the time to remain "immutable", right? So what is the trick?