<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>+1</p>
<p>Including others such as Applicative, Alternative, etc.<br>
</p>
<div class="moz-cite-prefix">On 15/4/19 4:34 pm, Fumiaki Kinoshita
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAATCwU==mCbqmuDCJfJGwXCWp_wgXNkw_bivarw5WyNJp_cbgg@mail.gmail.com">
<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"
moz-do-not-send="true">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"
moz-do-not-send="true">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" moz-do-not-send="true">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"
moz-do-not-send="true">Libraries@haskell.org</a><br>
<a
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries"
rel="noreferrer" target="_blank" moz-do-not-send="true">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Libraries mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Libraries@haskell.org">Libraries@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a>
</pre>
</blockquote>
</body>
</html>