Use record syntax for User value