patch applied (ghc-6.8/ghc): An implication constraint can abstract over EqInsts

[Ian Lynagh]

Sat Oct 27 08:54:33 PDT 2007  simonpj at microsoft.com
  * An implication constraint can abstract over EqInsts

    M ./compiler/typecheck/Inst.lhs -1 +1
    M ./compiler/typecheck/TcRnTypes.lhs -1 +1