typerep-map

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.