Defining Nominal Types in a Structural Type System
// Hypothetical code, this does not work!
type Balance = unique number;
type AccountNumber = unique number;
// Hypothetical code, this does not work!
type Balance = unique number;
type AccountNumber = unique number;