| > 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