The monomorphism restriction and monomorphic pattern bindings

[Ross Paterson]

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".