EDIT as you can see, I'm concerned about the client experience for multiple return. Perhaps it's not so bad: 1. when assigning to a variable, type inference is

EDIT as you can see, I'm concerned about the client experience for multiple return. Perhaps it's not so bad: 1. when assigning to a variable, type inference is easy, because can't subclass records, so can omit type ceremony. So, although nominal, client can treat as structural. 2. with standard IDE completion/lookup, user need't know or enter the exact accessor names. So, the assigned variable acts like a namespace. This mightn't be perfect, because appropriate names for the client's usage can differ from what is appropriate from the api's perspectice. (with tuples, user can name to suit their purpose).