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

```unison
bonk : forall a. a -> a
bonk x =
  zonk : forall a. a -> a
  zonk z = z
  honk : a
  honk = x
  x
```