TypeDefinition in an independent file