<div dir="auto">They're not the same in general, no, but they're the same for the ((->) c) Applicative, which is the topic of this discussion.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Nov 20, 2019, 1:04 AM Tony Morris <<a href="mailto:tonymorris@gmail.com">tonymorris@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF">
    <p>No, they are not the same function.<br>
      <br>
      λ> let (*>) = flip const in putStrLn "hi" *> putStrLn
      "bye"<br>
      bye<br>
      λ> let (*>) = liftA2 (flip const) in putStrLn "hi" *>
      putStrLn "bye"<br>
      hi<br>
      bye<br>
      <br>
    </p>
    <div>On 20/11/19 3:41 pm, David Feuer wrote:<br>
    </div>
    <blockquote type="cite">
      <div dir="auto">Both are correct. </div>
      <br>
      <div class="gmail_quote">
        <div dir="ltr" class="gmail_attr">On Wed, Nov 20, 2019, 12:15 AM
          Tony Morris <<a href="mailto:tonymorris@gmail.com" target="_blank" rel="noreferrer">tonymorris@gmail.com</a>> wrote:<br>
        </div>
        <blockquote class="gmail_quote">This is incorrect.<br>
          <br>
          (<*) = liftA2 const<br>
          (*>) = liftA2 (flip const)<br>
          <br>
          On 19/11/19 6:40 am, Keith wrote:<br>
          > Just thinking for Applicative ((->) c)<br>
          > (<*) = const<br>
          > (*>) = flip const -- or \ _ x -> x<br>
          ><br>
          <br>
          _______________________________________________<br>
          Libraries mailing list<br>
          <a href="mailto:Libraries@haskell.org" rel="noreferrer noreferrer" target="_blank">Libraries@haskell.org</a><br>
          <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
        </blockquote>
      </div>
    </blockquote>
  </div>

</blockquote></div>