| Is there any difference between "-XImpredicativePolymorphism" and "- | XImpredicativeTypes"?
No there isn't. There's only one flag, -XImpredicativeTypes. | Hyena uses the latter, and we're using Hyena somewhat "in anger". Interesting. I hope you can get along without it, perhaps with a bit more newtype wrapping/unwrapping code. As I say, the current situation is not good. Simon _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users