Ron de Bruijn wrote: > Is it possible to concatenate two values of kind [Name] to form one > [Name]? No, not in the current version of Ur, and I have no plans to add such a feature. It would add significant complexity to type inference.