<div><div dir="auto">Lovely </div></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Apr 18, 2019 at 12:43 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>+1</p>
    <p>Including others such as Applicative, Alternative, etc.<br>
    </p></div><div text="#000000" bgcolor="#FFFFFF">
    <div class="m_3155722463689932383moz-cite-prefix">On 15/4/19 4:34 pm, Fumiaki Kinoshita
      wrote:<br>
    </div>
    <blockquote type="cite">
      <div dir="ltr">
        <div dir="ltr">Hello,
          <div><br>
          </div>
          <div>This has been proposed as a part of my proposal: <a href="https://mail.haskell.org/pipermail/libraries/2019-April/029478.html" target="_blank">https://mail.haskell.org/pipermail/libraries/2019-April/029478.html</a></div>
        </div>
      </div>
      <br>
      <div class="gmail_quote">
        <div dir="ltr" class="gmail_attr">2019年4月15日(月) 15:30 Dmitriy
          Kovanikov <<a href="mailto:kovanikov@gmail.com" target="_blank">kovanikov@gmail.com</a>>:<br>
        </div>
        <blockquote class="gmail_quote">
          <div dir="ltr">
            <div dir="ltr">
              <div dir="ltr">Hello everyone!
                <div><br>
                </div>
                <div>I would like to propose to add a `Functor` instance
                  to the `Kleisli` data type from the `Control.Arrow`
                  module. The instance can look like this:</div>
                <div><br>
                </div>
                <div>
                  <div>    instance Functor m => Functor (Kleisli m
                    a) where</div>
                  <div>        fmap :: (b -> c) -> Kleisli m a b
                    -> Kleisli m a c</div>
                  <div>        fmap f (Kleisli h) = Kleisli (fmap f . h)</div>
                  <div>        {-# INLINE fmap #-}</div>
                  <div>    </div>
                  <div>        (<$) :: c -> Kleisli m a b ->
                    Kleisli m a c</div>
                  <div>        c <$ Kleisli h = Kleisli (\a -> c
                    <$ h a)</div>
                  <div>        {-# INLINE (<$) #-}</div>
                </div>
                <div><br>
                </div>
                <div>Having this instance would be really helpful in
                  improving the `profunctors` package by adding
                  QuantifiedConstraints to it. See more details in the
                  discussion below:</div>
                <div><br>
                </div>
                <div>    <a href="https://github.com/ekmett/profunctors/pull/70#discussion_r267648958" target="_blank">https://github.com/ekmett/profunctors/pull/70#discussion_r267648958</a></div>
                <div><br>
                </div>
                <div>Thanks,</div>
                <div>Dmitrii Kovanikov</div>
                <div><br>
                </div>
              </div>
            </div>
          </div>
          _______________________________________________<br>
          Libraries mailing list<br>
          <a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
          <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
        </blockquote>
      </div>
      <br>
      <fieldset class="m_3155722463689932383mimeAttachmentHeader"></fieldset>
      <pre class="m_3155722463689932383moz-quote-pre">_______________________________________________
Libraries mailing list
<a class="m_3155722463689932383moz-txt-link-abbreviated" href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a>
<a class="m_3155722463689932383moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a>
</pre>
    </blockquote>
  </div>

_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div></div>