[Haskell-cafe] Foldable, Traversable and choosing an order

[Juan Casanova]

Quoting Brent Yorgey <byorgey at gmail.com> on Tue, 24 Sep 2019 04:56:06 -0500:

> Your implementation of traverse DOES make a choice of order (any
> implementation must).  In particular f <*> x does the effects of f first,
> and then x.
>


Ahhh, so it's in the applicative that the order choice happens! And I  
could change it by essentially flipping the function application and  
so on.

That makes sense. Thanks!

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.