Nathan Faubion

The times obviously improve for everything except `Foldable` when the whole list is not `true`.

I think this is a valuable feature request. I don't see any reason to close it.

My goal for this project would be: **Perform whole-program optimization.** The current compiler optimizations are plenty good enough for development. I would like an option to have aggressive whole-program optimizations....

`CoreImp` is essentially a slightly simplified JavaScript. If the goal is to subsume `CoreImp` optimizations, then the only reason to output `CoreImp` is to reuse the existing compiler's printer. I...

> This plan looks amazing and I think that could be put directly into the README I don't think it's worthwhile laying out the direction of it until some direction...

You have to propagate the Union constraint, I believe. This is part of why it would be nice to have a real `Prim.Row.Lacks` constraint.

Yes, sorry.

I'm personally in favor of using `isEmpty` everywhere, and adding deprecated constraints to `null`. `null` is a terrible name.

To be clear, I’m not totally sure we should merge this now vs the more normal breaking release cycle.

As a core lib, and a change to a frequently used API, I think it should have a long deprecation cycle. Having experience with MonadZero warnings, they are extremely irritating....