Comment by Drbble

I don't see a meaningful difference in the cases in your last paragraph. Seems like an implementation detail.

The issue of whether the caller has to explicitly call "partial" seems to be the meaningful distinction.