Documentation
genRepr :: Name -> Q [Dec]Source
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.