Use of a type for the definitions