patch applied (ghc): Fix Trac #1813: generalise over *all* type variables at top level, even phantom ones

[Simon Peyton Jones]

Tue Nov  6 07:31:51 PST 2007  simonpj at microsoft.com
  * Fix Trac #1813: generalise over *all* type variables at top level, even phantom ones
  
  See Note [Silly type synonym] in TcType for further details.  This bug
  (or at least infelicity) has been in GHC for quite a long time.
  

    M ./compiler/typecheck/TcBinds.lhs -3 +3
    M ./compiler/typecheck/TcType.lhs +9