Add -XImpredicativeTypes, and tighten up type-validity checking (cf Trac 2019)
[ghc-hetmet.git] / docs / ndp /
2007-07-03 Roman LeshchinskiyAdd ndp docs