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.

parallel/Control/Parallel.hs

Line 33 in d2e2a5e

-- @a ``par`` b@ is exactly equivalent semantically to @b@.