Mon Mar 17 23:05:47 PDT 2008 oleg@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