Efficient and Scalable Parallel Functional Programming Through Disentanglement