[Haskell-cafe] GSoC proposal