type-map (hackage): Maps where keys are types and values can have types depending on their keys.
Keywords: data|library|mit