Re: The monomorphism restriction and monomorphic pattern bindings

On Wed, Apr 23, 2008 at 10:32:24AM -0700, Simon Marlow wrote:

The current proposal on the table for what to do about the monomorphism restriction (henceforth MR) is

* remove the MR entirely

Just to be clear, are we talking only about Rule 1 of the MR? Rule 2 seems unavoidable, but it should probably say "entire group of mutually recursive modules" rather than "entire module".