In brief, typekey provides the following features:
- A
TypeKeyis aTypeTagthat is suitable for use as a key in aSetor aMap. - A
TypeKeyMapis aMapfromTypeKeyto objects with type arguments that match the type indicated by theTypeKey. - A
TypeBoundMapis aMapwhere the key and value of each key-value pair is bound to the same type argument.
For more details, please see the typekey website and API docs.