Description: Extends lazy functional language Haskell, but overrules lazy evaluation whenever needed to support parallelism; gives programmers enough control to implement parallel algorithms efficiently, and frees them from low level details of process management.