typerep-map (hackage): 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.
Keywords: data|data-structures|library|mpl|types|arrays|binary-search|cache|dependent-map|dmap|hacktoberfest|haskell|typerep-map