Sorry, I meant it as an objective statement. Doing compilation with split objs or not _on this particular package_ produces effectively identical results. (With `split-objs` ghc will produce hundreds of small objects, but they will all be compiled into the user's binary, because they are referenced from the few important top-level objects.) But, with `split-objs` the compilation takes more than 5 minutes instead of a few seconds.

Also, I'm not sure how binary substitution is relevant here. The computation resources are not free... And if someone (me, for example :)) wants to update this package when a new version is released, they will have to wait for unnecessary 5 minutes to check if it builds.

I removed the above lines, but I'd rather put them back.