``` unison unique type foo.bar.baz.MyRecord = { value : Nat } ``` ``` ucm scratch/main> add ⍟ I've added these definitions: type foo.bar.baz.MyRecord foo.bar.baz.MyRecord.value : MyRecord -> Nat foo.bar.baz.MyRecord.value.modify : (Nat ->{g} Nat) -> MyRecord ->{g} MyRecord foo.bar.baz.MyRecord.value.set : Nat -> MyRecord -> MyRecord scratch/main> find : Nat -> MyRecord 1. foo.bar.baz.MyRecord.MyRecord : Nat -> MyRecord ```