In a pattern binding, a type sig in the pattern cannot bind a type variable
[ghc-hetmet.git] / docs / ndp /
2007-07-03 Roman LeshchinskiyAdd ndp docs