unison/unison-src/transcripts/fix1421.output.md

scratch/main> alias.type ##Nat Nat

  Done.

scratch/main> alias.term ##Nat.+ Nat.+

  Done.

unique type A = A Nat
unique type B = B Nat Nat

  Loading changes detected in scratch.u.

  I found and typechecked these definitions in scratch.u. If you
  do an `add` or `update`, here's how your codebase would
  change:
  
    ⍟ These new definitions are ok to `add`:
    
      type A
      type B