[project @ 2006-01-06 15:51:23 by simonpj]

[project @ 2006-01-06 15:51:23 by simonpj]
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.