type-challenges