RE: cvs commit: fptools/libraries/base/Data IntMap.hs Map.hs Sequence.hs Set.hs fptools/libraries/base/Data/Generics Instances.hs Twins.hs

| > Eta-expand some higher-rank functions. GHC is about to | > move to *invariant* rather than *contra-variant* in function | > arguments, so far as type subsumption is concerned. These | > eta-expansions are simple, and allow type inference to | > go through with invariance. | | Why drop contra-variace? See the paper on "Boxy type inference" on my home page. Simon