[Hs-Generics] patch applied (generics): TestGEqNGRose also works. It was tough. It seems it is possible to specify local explicit universal quantification in type-class constraints. So, constraints can indeed be higher-rank. So, am I done with all examples?

[Oleg Kiselyov]

Mon Mar 17 23:05:47 PDT 2008  oleg at okmij.org
  * TestGEqNGRose also works. It was tough. It seems it is possible to specify local explicit universal quantification in type-class constraints. So, constraints can indeed be higher-rank. So, am I done with all examples?

    M ./comparison/SmashA/GEq.hs -3 +3
    A ./comparison/SmashA/NGRoseDats.hs