<div dir="ltr"><div>I very much feel differently.</div><div><br></div><div>The Functor instance has been around for a decade and is actually fairly heavily used. <br></div><div><br></div><div>It is necessary to support the Applicative for (,) e, which is the anonymous writer monad, like (->) e is the anonymous reader monad, which has also been around for over a decade.<br></div><div><br></div><div>Traversable's sequence gives you canonical distributive law for this functor. </div><div><br></div><div>sequence :: (e, f a) -> f (e, a)<br><div><br></div><div>The (,) e functor is by far the most common choice of functor for things like lenses to be instantiated with.</div><div><br></div><div>forall f. Functor f => (a -> f b) -> s -> f t</div><div><br></div><div>becomes (a -> (e, b)) -> s -> (e, t) giving you a secondary result when you want it.</div><div><br></div><div>Saying that a bifunctor is Hask*Hask -> Hask doesn't quite work in haskell, but we can say that it is a functor to a functor category: Hask -> [Hask, Hask]. For (,) to be a bifunctor, (,) e should be a functor, or that notion falls apart as (,) e isn't a functor in the functor category.</div><div><br></div><div>The list goes on.</div></div><div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Feb 18, 2016 at 10:11 AM, Kosyrev Serge <span dir="ltr"><<a href="mailto:_deepfire@feelingofgreen.ru" target="_blank">_deepfire@feelingofgreen.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Andreas Abel <<a href="mailto:andreas.abel@ifi.lmu.de">andreas.abel@ifi.lmu.de</a>> writes:<br>
> +1.<br>
><br>
> On 17.02.2016 12:15, Henning Thielemann wrote:<br>
>> I like consistency, too, and thus propose to remove all Functor,<br>
>> Foldable, Traversable, Applicative instances from all tuples.<br>
<br>
</span>Is there really a convincing case for these instances -- at all?<br>
<br>
The confusion and the inevitable bug potential, that they create,<br>
seem to overwhelm any potential usefulness that comes to my imagination.<br>
<br>
But maybe someone feels differently?<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
с уважениeм / respectfully,<br>
Косырев Сергей<br>
</font></span></blockquote></div><br></div>