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

These were failing to type check before, because id was not
generalized.

```unison

foo = do
  id x =
    _ = 1
    x
  id ()
  id "hello"

bar = do
  id x = x
  id ()
  id "hello"
```