Legend:

* (no ticket yet): make the fingerprint in a `TypeRep` be a proper fingerprint, including the type definition all the way down (see [Recompilation avoidance http://hackage.haskell.org/trac/ghc/wiki/DependencyTracking])

5

* (no ticket yet): make the fingerprint in a `TypeRep` be a proper fingerprint, including the type definition all the way down (see [http://hackage.haskell.org/trac/ghc/wiki/DependencyTracking Recompilation avoidance])