The dreaded M-R

[Robert Dockins]

One aspect of this discussion I've yet to see that I think is  
important is, how do the various proposals for removal/modifications  
of M-R impact implicit parameters?  Are implicit parameters likely to  
be in Haskell'?  It seems like the proposal to default to polymorphic  
binding and have special syntax for monomorphic binding also fixes  
one of the major probems now with implicit parameters.

Rob Dockins