Defining Global Type