Documentation

Given the name of a type constructor, automatically generates an efficient Repr instance. Warning: Generalized tries do not work for infinitely complicated types, for example, a type-system construction of the natural numbers. In these cases, a context reduction stack overflow will occur at compile time when you use the TKey instance for that type.