unison/unison-src/transcripts/fix3752.md

scratch/main> builtins.merge

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

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

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