```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
```