Using type properties to create values shared by all the instances of a class