Can you sprinkle parallelism annotations and have guarantees about semantics not changing while gaining parallel execution? Also, note concurrency and parallel

Can you sprinkle parallelism annotations and have guarantees about semantics not changing while gaining parallel execution? Also, note concurrency and parallelism are two of many interesting benefits of purity. I'll also add unit tests and property testing which are much nicer with purity.