It would silently change behavior of some programs, yes. It could also make them slower under some circumstances. But anyone relying on the monomorphism restriction to choose types for their program should change their ways regardless. Top level type signatures aren't that hard to write.

On Sun, Oct 31, 2021, 11:58 PM Andreas Källberg <anka.213@gmail.com> wrote:

> On 1 Nov 2021, at 02:16, Ben Franksen <ben.franksen@online.de> wrote:
>
> The MonomorphismRestriction should be eliminated from the next Haskell standard.

Wait, what? Wouldn't that silently change behaviour of programs and make them slower?

Andreas
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.