I'm not sure how it would work with this, since I've never used it, but Dhall does have some kind of recursive merge operator that might work https://docs.dhall

I'm not sure how it would work with this, since I've never used it, but Dhall does have some kind of recursive merge operator that might work https://docs.dhall-lang.org/references/Built-in-types.html#id127 https://docs.dhall-lang.org/references/Built-in-types.html#i.... You might have to overload it somehow to make it work the way you're describing though.