> > In the meantime, it's trivial to make a .o from a .a. > > How? I was not able to do it (ld produced almost empty file). $ ld -r -x --whole-archive -L. -lHSstd -o HSstd.o Cheers, Simon