<div dir="ltr"><span style="font-size:12.8px">Considering this would be in Data.Function along (.) and ($), I do not think generalizing it is the goal.</span><div style="font-size:12.8px">The aim should be to keep it for functions only... or at least, that's how I've seen (.:) used so far.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">I'm all ears though. This is already getting interesting.</div><div class="" style="margin:2px 0px 0px;font-size:12.8px"></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Aug 17, 2016 at 7:53 PM, MarLinn via Haskell-Cafe <span dir="ltr"><<a href="mailto:haskell-cafe@haskell.org" target="_blank">haskell-cafe@haskell.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF" text="#000000"><span class="">
    <br>
    <blockquote type="cite">
      <div dir="ltr">
        <div>Some of you might be familiar with (.:) = (.) . (.).</div>
        <div><br>
        </div>
        <div>It has type :: (c -> d) -> (a -> b -> c) ->
          a -> b -> d</div>
      </div>
    </blockquote>
    <br></span>
    First of all, I always called it "dot". Don't know where I picked
    that one up, though. (.:) looks like it could conflict with some
    lens or something. Would need checking.<br>
    <br>
    Also, which version? This simple one? Or the Category one?<br>
    <pre>    (.).(.) :: (Category cat) => cat c d -> (a -> cat b c) -> a -> cat b d
</pre>
    <p>I know little about Category Theory, but throwing together some
      random words I collected over time that looks like... a
      "contravariant bind in the monad of endocategories", maybe? I just
      invented that and it's almost certainly meaningless gibberish, but
      knowing our community it might well be that <i>there's a lib for
        that</i>.</p>
    Also, why is
    <pre>    h = f .: g == (f .) . g 
</pre>
    <p>not good enough?</p>
    <p>So many questions, so much bikeshedding to do, so little time...<br>
    </p>
  </div>

<br>______________________________<wbr>_________________<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" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
Only members subscribed via the mailman list are allowed to post.<br></blockquote></div><br></div>