Defining a new type