Missing type reflection functionality from base

[georgefst]

I've seen elsewhere that some functionality from base has not been implemented. The lack of eqTypeRep and HRefl from Type.Reflection are the one thing stopping us from using eta in a project (both are in base-4.11), as we have a GADT which stores TypeReps and a function which traverses two of these GADTs, and behaves differently if the two TypeReps are equal.

Are there any plans to add this functionality, or is there a particular reason why it's difficult? I don't know of any other way to get the same behaviour in Haskell.

Incidentally, is there documentation anywhere of the differences to expect in base between eta and GHC Haskell?