For example new elegant approaches to parallelism/concurrency that would be very difficult in an impure language.
http://hackage.haskell.org/package/parallel-3.1.0.1/docs/Con...
Would be very difficult to implement in a language that is not referentially transparent and lazy.
For example new elegant approaches to parallelism/concurrency that would be very difficult in an impure language.