A dependent map from type representations to values of these types.
Here is an illustration of such a map:
In addition to TMap, we provide TypeRepMap parametrized by a
vinyl-style interpretation. This data structure is equivalent to DMap
TypeRep, but with significantly more efficient lookups.