C++/Curry: Add