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