Instead, describe what it actually does.
I think it'd be better to describe the behaviour rather than the implementation.
How about "Strict (call-by-value) application. Guarantees to evaluate the argument, and then call the function passing the evaluated argument."
If we add a mention of WHNF (a term which the Haskell Report seems to avoid in the definition of seq et al.) then maybe GHC's seq's documentation would need to be modified as well to mention WHNF.