- to avoid making orphan instances
ConcreteTypeRepmay not be pure enough for some people's tastes.
As usual with
Typeable, this module will typically be used with some variant of
Data.Dynamic. Two possible uses of this module are:
- making hashmaps:
Abstract type providing the functionality of
TypeRep, but additionally supporting hashing and serialization.
Eq instance is just the
Eq instance for
TypeRep, so an analogous guarantee holds:
if and only if
cTypeOf a ==
b have the same type.
The hashing and serialization functions preserve this equality.