On 7 May 2015 at 22:34, Simon Peyton Jones <simonpj at microsoft.com> wrote: > Dear Cabal developers > > I guess everyone is busy, but I feel a bit stuck on knowing how to make > progress on this thread. Vishal Agrawal's GSoC proposal has been accepted. I guess we'll have to wait and see what comes out of it now.