second rank polymorphism

[Jan Brosius]

Hi,

Is there anyone who can explain to me what is meant by second rank
polymorphism.
I have already read all available online documentation.
In logic one has: forall x forall y = forall y forall x.
Doesn't haskell 98 allow in place updating e.g; for records?

Thanks

Jan