```ucm:hide
foo/main> builtins.merge
```
```unison
structural type Foo = MkFoo Nat
main : () -> Foo
main _ = MkFoo 5
```ucm
foo/main> add
foo/main> run main