Open
Description
lens has a ton of little parts -- moreso than pretty much any other library I've written, except maybe gl.
If we built with -split-objs then users would get much smaller executables, but the downside is the build time might slow down.
It'd be good to quantify these effects.