patch applied (ghc): In float-out, make sure we abstract over the type variables in the kind of a coercion

[Simon Peyton Jones]

Wed Jan 16 07:39:08 PST 2008  simonpj at microsoft.com
  * In float-out, make sure we abstract over the type variables in the kind of a coercion
  
  I can't remember where this bug showed up, but we were abstracting over a
  coercion variable (co :: a ~ T), without also abstracting over 'a'.
  
  The fix is simple.
  

    M ./compiler/simplCore/SetLevels.lhs -13 +18