Wrong implicit quantification order with LinearTypes
## Summary
GHC doesn't follow left-to-right order in implicit quantification of parametric by linearity arrow
## Steps to reproduce
```haskell
ghci> :set -XLinearTypes
ghci> :set -fprint-explicit-foralls
ghci> f :: a %p -> b; f = f
ghci> :t f
f :: forall a b (p :: Multiplicity). a %p -> b
```
## Expected behavior
I expect implicit quantification to follow left-to-right order, so `f` should have type `f :: forall a (p :: Multiplicity) b. a %p -> b`
## Environment
* GHC version used: [9.0 .. HEAD]
issue