let Foo =
        Bar
        with default = (Bar.default ⫽ { bar = 0 })

in  Foo