[Python-ideas] factory for efficient creation of many dicts with the same keys