type-eq is broken; use the older version

See
  https://github.com/glaebhoerl/type-eq/issues/3
and
  https://github.com/haskell-suite/haskell-names/issues/47