[Haskell-cafe] Immix GC as a Soc proposal