type constructor function