Remove TODO on currying

It turns out the current implementation of currying is what is desired after all.