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

```unison
f : (() -> a) -> Nat
f x = 42
```