Python/Curry: Add