One avenue for tuning the GC to work better in low memory conditions is for it to auto-switch to compacting collection when swapping is happening. We can detect swapping using getrusage() on Unix systems. See:

http://www.haskell.org//pipermail/glasgow-haskell-users/2006-March/009863.html