unison/unison-src/transcripts/update-type-stray-constructor.md

scratch/main> builtins.merge lib.builtin

unique type Foo = Bar Nat

scratch/main> add
scratch/main> move.term Foo.Bar Stray.Bar

Now we've set up a situation where the constructor is not where it's supposed to be; it's somewhere else.

unique type Foo = Bar Nat Nat

Note that the constructor name shown here (implied to be called Foo.Stray.Bar) doesn't really exist, it's just showing up due to a pretty-printer bug.

scratch/main> view Foo
scratch/main> update