One other aspect: how long will it take to explain what the semantics are in
both cases?

yield -> map
no yield -> foreach

whereas your proposal involves explaining all about type inference, which is
not even rigorously specified (okay, that might not matter here). I prefer the
simpler model anytime, especially since the expressiveness is the same.

Regards,

Roland