Dear Community,

Apologies if I'm missing context.

Does Haskell 2020 specify evaluation order control by `pseq`?

We use `pseq` to guarantee the evaluation order between two expressions.

But Haskell 2010 did not specify how to control the evaluation order between two expressions.

(only specified `seq` in Haskell 2010 section 6.2 [1]. but `seq` don't guarantee the order. [2])

I think it's better to explicitly specify `pseq` as standard way.

Already discussed? or out of scope?

[1]: https://www.haskell.org/onlinereport/haskell2010/haskellch6.html#x13-1260006.2

[2]: https://www.schoolofhaskell.com/user/snoyberg/general-haskell/advanced/evaluation-order-and-state-tokens

Regards,

Takenobu