MapKey<T>: T extends Map<infer TKey, any> ? TKey : never

Type Parameters