Local environments, embedded applications, client side processing via wasm... It's a cool project! We can figure out what to do with it later.

This is what I'm thinking. There are still use cases I would say where small binaries really matter. But then you are really choosing the wrong tool for the job with haskell, and I say this as a haskell stan. I expect an optimized C binary is much, much smaller still.

Well, this is only "a great swap" in cases where the time taken is already so high that you won't notice a 10x.

But this tradeoff would actually pay off where the compile time has a similar improvement as the size.