type-map

Maps where keys are types and values can have types depending on their keys.