[Haskell-cafe] [GSoC] A proposal for GSoC regarding computational algebra