it's a polymorphic function that works for a tuple where the middle position has any type, and indeed, we can call partial sum with three, four, five and get eight, but we could also call it with a string in there, and that will also type check.