<div dir="auto"><div>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.<br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Oct 31, 2021, 11:58 PM Andreas Källberg <<a href="mailto:anka.213@gmail.com">anka.213@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
> On 1 Nov 2021, at 02:16, Ben Franksen <<a href="mailto:ben.franksen@online.de" target="_blank" rel="noreferrer">ben.franksen@online.de</a>> wrote:<br>
> <br>
> The MonomorphismRestriction should be eliminated from the next Haskell standard.<br>
<br>
Wait, what? Wouldn't that silently change behaviour of programs and make them slower?<br>
<br>
Andreas<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div></div></div>