The semantics of "semantically"

[tomjaguarpaw]

In the Haddock for par we have

a `par` b` is exactly equivalent semantically to `b`

Would it be better to say

1." exactly denotationally equivalent to b", or 2. "exactly equivalent denotational-semantically to b", or even 3. "results in exactly the same value as b"?

Because it's certainly not equivalent operationally-semantically to b.

https://github.com/haskell/parallel/blob/d2e2a5e630fdfa0e9bc8c2d8c7d134ad3500b5de/Control/Parallel.hs#L33