Typeinfo exercise 14, change the partLists to type ensure type