``` unison foo = _ = 1 _ = 22 42 > foo + 20 ``` ``` ucm Loading changes detected in scratch.u. I found and typechecked these definitions in scratch.u. If you do an `add` or `update`, here's how your codebase would change: ⍟ These new definitions are ok to `add`: foo : Nat Now evaluating any watch expressions (lines starting with `>`)... Ctrl+C cancels. 6 | > foo + 20 ⧩ 62 ```