Yep! The proposal is to add that to the core libraries, and is basically just waiting to see how much people actually want to use withDefault that way in practice.