Nathan Faubion

To follow up, I think a big problem with the status quo is there is no reflection, or if it is, it is ad hoc. There isn't a deliberate, recurring...

> So if I run a series of "right" commands, the first "left" simulation is still waiting to be run. FWIW, and I'm not sure how related it is, but...

I think the only solution for status quo is to consider NaN behavior undefined for the purposes of Eq and Ord, and we just shouldn't test it.

> This sounds like a more reasonable tradeoff. The downside is you can't use Show, but it does enable a safer way to print something. That seems like it doesn't...

`Zippable` things are alternative `Applicative` instances, it's just that the chosen instance for List/Array does not zip, but models non-determinism, as that behavior also admits a `Monad` instance. The `ZipList`...

https://github.com/purescript/purescript-arrays/pull/163 See this ticket which mentions adding a ZipArray for arrays. This is possible, it just has not been implemented and PR'ed.

Is there a reason to not also add such a function for `Data.List`? I don't like having API differences between the two unless there's a good reason.

Also, isn't this foldl with the arguments flipped?

I think we should rename it, and flip the arguments back then.

@drewolson What determines left or right fold is just associativity of the operations, and this is left associative. For it to be right associative you would need to pass in...