There's an existing limitation in result builder inference due to its use of one-way constraints.
Towards the end of this thread, @Douglas_Gregor mentions that a theoretical buildFold operation could allow for this limitation to be relaxed. I was hoping buildPartialBlock would unlock some of the more fluent APIs described in the thread, but when I tested the snapshot this doesn't appear to be the case. Could such an enhancement be considered now?