<div dir="ltr"><div>My messages this morning have decoupled the discussion from Traversable, by specialising to one container type for which left-to-right is predefined.<br><br></div>In my mind, that gets to the heart of what Charles was after, namely the "calling in an associative manner" thing, which is independent of the question "how do we know right from left in the first place". Do the considerations then make sense to you as well?<br><br></div><div class="gmail_extra"><br><div class="gmail_quote">2015-10-25 10:09 GMT+01:00 Matteo Acerbi <span dir="ltr"><<a href="mailto:matteo.acerbi@gmail.com" target="_blank">matteo.acerbi@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
Janis Voigtländer writes:<br>
<br>
> One answer I could give is: That depends on the definition of the<br>
> Traversable instance for the (Bool -> a) type constructor.<br>
><br>
> Another answer I could give is: Ask the authors of the Traversable<br>
> documentation. [..]<br>
<br>
Since Charles had not mentioned Traversable in his messages, I still<br>
find the original question 2 to be ambiguous.<br>
<br>
If one has a Traversable instance, then he can say what being left<br>
fold-like means for a function. As far as I understand, however, this<br>
should be equivalent to the property of being extensionally equal to the<br>
foldl1 of the Foldable superclass, provided instances follow the laws.<br>
<br>
Please, again, correct me if I am wrong.<br>
<br>
I want to remark that mine is not criticism towards Charles's message:<br>
on the contrary, I think that starting a discussion on not completely<br>
specified ideas can be very beneficial for everyone, as several people<br>
at once will make some effort to get a clearer understanding, sharing<br>
their points of view.<br>
<br>
Thanks for taking the time to explain your interpretation.<br>
<br>
Best,<br>
Matteo<br>
</blockquote></div><br></div>