Hey, in arrow the traverse method from the Traversable typeclass is usually (for collections) implemented using foldRight, but haskell's docs at
http://hackage.haskell.org/package/base-4.12.0.0/docs/Data-Traversable.html state that travers is left to right. Is that a bug or a conscious decision? I am for changing that, because for infinite structures like sequence traverse would never compute anything and spend all its time forcing the sequence, whereas with a left to right manner it would actually compute stuff (and when used with IO can also abort whenever it wants)