Dynamic linking is an even bigger ball of snakes, yes. :/ A better solution would be nice, but I'm not aware of any magic that can be applied to it. (The GHC devs know a better solution is needed; unfortunately, the best they've come up with is a proposal to build everything against everything else in every possible combination....) Not that there are any better ideas sitting around. Maybe whole program compilation, which would require all libraries to be available in source form (and would make dynamic linking meaningless since every compiled library would be a one-off).