<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">On 08/06/2013 4:11 PM, Peter Hall
      wrote:<br>
    </div>
    <blockquote
cite="mid:CAA6hAk4Xo-b7-Z0iMZNuuBK96y7d6Xt8323wUc1ysJEOa=qnZg@mail.gmail.com"
      type="cite">
      <div dir="ltr"><br>
        <div class="gmail_extra">
          <div class="gmail_quote">
            <blockquote class="gmail_quote" style="margin:0 0 0
              .8ex;border-left:1px #ccc solid;padding-left:1ex">
              <div dir="ltr">
                <div class="gmail_extra">
                  <div class="gmail_quote">
                    <div class="im">
                      <blockquote class="gmail_quote" style="margin:0 0
                        0 .8ex;border-left:1px #ccc
                        solid;padding-left:1ex">
                        <div><br>
                          Show a =&gt; a -&gt; a -&gt; String<br>
                        </div>
                      </blockquote>
                      <div><br>
                      </div>
                    </div>
                    <div>...is not monomorphic. If you want that to be
                      inferred, turn off the monomorphism restriction.
                      (And yes, many people *do* consider the
                      monomorphism restriction of standard Haskell to be
                      a bug in the specification.)</div>
                    <div><br>
                    </div>
                  </div>
                </div>
              </div>
            </blockquote>
            <div><br>
            </div>
            <div style="">When are we due a new spec? 1998 was quite a
              while ago...</div>
            <div style=""><br>
            </div>
            <div style="">Peter <br>
            </div>
          </div>
        </div>
      </div>
    </blockquote>
    <br>
    <a href="http://www.haskell.org/haskellwiki/Haskell_2010">2010</a><br>
  </body>
</html>