unison/unison-src/transcripts/update-term-with-dependent-to-different-type.md

```ucm
scratch/main> builtins.merge
```

```unison
foo : Nat
foo = 5

bar : Nat
bar = foo + 10
```

```ucm
scratch/main> add
```

```unison
foo : Int
foo = +5
```

```ucm:error
scratch/main> update
```