
<html>

  <head>

    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <br>

    <blockquote

cite="mid:CADSky2xy7-rs9=jjf3DHSyESwnvWTXT0QF7kf5PB=dPsq1s3Rg@mail.gmail.com"

      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>

    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>

  </body>

</html>