Working on type definition