type definition problem 10