<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <br>
    <br>
    <blockquote style="border-left: 2px solid #330033 !important;
      border-right: 2px solid #330033 !important; padding: 0px 15px 0px
      15px; margin: 8px 2px;"
cite="mid:CAKFCL4XtkjLngaiBjLKZTUj+ZDPvOwyFKCGNf91h5+8SLkRhRg@mail.gmail.com"
      type="cite"><!--[if !IE]><DIV style="border-left: 2px solid #330033; border-right: 2px solid #330033;  padding: 0px 15px; margin: 2px 0px;"><![endif]--><span
        style="color:#000000;" class="headerSpan">
        <div class="moz-cite-prefix">-------- Original Message --------<br>
          Subject: Re: [Haskell-cafe] Comparing functions<br>
          From: Brandon Allbery <a class="moz-txt-link-rfc2396E" href="mailto:allbery.b@gmail.com">&lt;allbery.b@gmail.com&gt;</a><br>
          To: Vlatko Bašić <a class="moz-txt-link-rfc2396E" href="mailto:vlatko.basic@gmail.com">&lt;vlatko.basic@gmail.com&gt;</a><br>
          Cc: Haskell-Cafe <a class="moz-txt-link-rfc2396E" href="mailto:haskell-cafe@haskell.org">&lt;haskell-cafe@haskell.org&gt;</a><br>
          Date: 11.07.2013 20:45<br>
        </div>
        <br>
        <br>
      </span>
      <div dir="ltr">On Thu, Jul 11, 2013 at 2:11 PM, Vlatko Basic <span
          dir="ltr">&lt;<a moz-do-not-send="true"
            href="mailto:vlatko.basic@gmail.com" target="_blank">vlatko.basic@gmail.com</a>&gt;</span>
        wrote:<br>
        <div class="gmail_extra">
          <div class="gmail_quote">
            <blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
              <div text="#000000" bgcolor="#FFFFFF">
                <div class="im">
                  <blockquote style="border-left: 2px solid #330033
                    !important; border-right: 2px solid #330033
                    !important; padding: 0px 15px 0px 15px; margin: 8px
                    2px;" type="cite"><!--[if !IE]><DIV style="border-left: 2px solid #330033; border-right: 2px solid #330033;  padding: 0px 15px; margin: 2px 0px;"><![endif]-->
                    <span style="">
                      <div>The problem here isn't quite what you think
                        it is; (==) is not a constructor, therefore it
                        is a *variable*. It's exactly the same problem
                        as<br>
                      </div>
                    </span>
                    <div dir="ltr">
                      <div class="gmail_extra">
                        <div class="gmail_quote">
                          <div><br>
                          </div>
                          <div>    a = 5</div>
                          <div>    -- ...</div>
                          <div>    foo a = 3 -- this does NOT compare
                            with the previous value of "a"; it's
                            identical to the next line!</div>
                          <div>    foo x = x</div>
                          <div><br>
                          </div>
                        </div>
                      </div>
                    </div>
                    <!--[if !IE]></DIV><![endif]--></blockquote>
                </div>
                Hm, I thought it is a pattern match with constant, as in
                f ('a':xs) == <br>
              </div>
            </blockquote>
            <div><br>
            </div>
            <div style="">I wonder what you'd make of this definition,
              then?</div>
            <div style=""><br>
            </div>
            <div style="">    <span class="" style="color:red">(</span><span
                class="" style="color:rgb(0,0,0)">*</span><span class=""
                style="color:red">)</span><span style="color:rgb(0,0,0)">
              </span><span class="" style="color:rgb(0,0,0)">`on`</span><span
                style="color:rgb(0,0,0)"> </span><span class=""
                style="color:rgb(0,0,0)">f</span><span
                style="color:rgb(0,0,0)"> </span><span class=""
                style="color:red">=</span><span style="color:rgb(0,0,0)">
              </span><span class="" style="color:red">\</span><span
                class="" style="color:rgb(0,0,0)">x</span><span
                style="color:rgb(0,0,0)"> </span><span class=""
                style="color:rgb(0,0,0)">y</span><span
                style="color:rgb(0,0,0)"> </span><span class=""
                style="color:red">-&gt;</span><span
                style="color:rgb(0,0,0)"> </span><span class=""
                style="color:rgb(0,0,0)">f</span><span
                style="color:rgb(0,0,0)"> </span><span class=""
                style="color:rgb(0,0,0)">x</span><span
                style="color:rgb(0,0,0)"> </span><span class=""
                style="color:rgb(0,0,0)">*</span><span
                style="color:rgb(0,0,0)"> </span><span class=""
                style="color:rgb(0,0,0)">f</span><span
                style="color:rgb(0,0,0)"> </span><span class=""
                style="color:rgb(0,0,0)">y</span></div>
            <div> </div>
          </div>
        </div>
      </div>
      <!--[if !IE]></DIV><![endif]--></blockquote>
    According to the enlightenment above, I'd say (*) is a variable that
    holds some function/operator that is applied on (f x) and (f y), 
    not the multiplication, right?<br>
    <br>
    <blockquote style="border-left: 2px solid #330033 !important;
      border-right: 2px solid #330033 !important; padding: 0px 15px 0px
      15px; margin: 8px 2px;"
cite="mid:CAKFCL4XtkjLngaiBjLKZTUj+ZDPvOwyFKCGNf91h5+8SLkRhRg@mail.gmail.com"
      type="cite"><!--[if !IE]><DIV style="border-left: 2px solid #330033; border-right: 2px solid #330033;  padding: 0px 15px; margin: 2px 0px;"><![endif]-->
      <div dir="ltr">
        <div class="gmail_extra">
          <div class="gmail_quote">
            <div style="">-- <br>
            </div>
          </div>
          <div dir="ltr">
            <div>brandon s allbery kf8nh                              
              sine nomine associates</div>
            <div><a moz-do-not-send="true"
                href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>
                                               <a moz-do-not-send="true"
                href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div>
            <div>unix, openafs, kerberos, infrastructure, xmonad        <a
                moz-do-not-send="true" href="http://sinenomine.net"
                target="_blank">http://sinenomine.net</a></div>
          </div>
        </div>
      </div>
      <!--[if !IE]></DIV><![endif]--></blockquote>
    <br>
  </body>
</html>