He says on the documentation page,
[pseq] limits the transformations that the compiler can perform, and ensures that the user can maintain control over the evaluation order
therefore, if all you have to do is ensure strictness so that you don't get an infinite stack, use seq. I do not know any examples where you can convert
a `seq` b
at
b `seq` a `seq` b
performance will help, but sorry.