Why is monomorphism necessary? The sections in the Report on this topic
are very unclear (to me). The monomorphism restriction is particularly
disturbing. I _really_ do not like the limitations on lambda. I am
guessing that part of the problem may lie in trying to support
polymorphism both
Folks: if you are into the fine detail of the monomorphism
restriction then read on for a Haskell 98 wrinkle. It's
a fine point, and I'm only circulating it because I don't want
to make any un-announced changes to Haskell 98.
Simon
Mark [below] makes a good case, but I think it's quite evenl