Re: Modifying the monomorphism restriction

[Joe English]

I wrote:

> Operationally I expect that in "let x = f y in ... x ... x",
> 'f y' is only evaluated once, no matter what type it is.

Which, of course, is not how Haskell actually works,
if x :: (SomeClass a) => SomeType a.  DOH!

Please disregard my earlier remarks...


--Joe English

  [EMAIL PROTECTED]