Do we need to talk about "calling context"? Is it just the return type which matters? Then you can also skip the note below.