Three Cabal/Hackage GSoC project proposals