Added reference to Nikola
Add reference to Feldspar
Dp -> E
Grammar
Another reference on the constrained monad problem
Removed TODO on running sums.

I can confirm that they are hard to do using Vector.
One would typically use a type of sequential vectors
to compute a running sum.
Some related work.