Fix type variable scoping in nested pattern type signatures (#7827)
Tidy up documentation of generalisation
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc