I feel that the lookup types and mapped types are dependent types, am I right?