First type defined