[Haskell-cafe] SoC Proposals?