Log Message:
Update to th-abstraction-0.4.3.0

0.4.3.0 -- 2021.08.30
* Make applySubstitution avoid capturing type variable binders when
  substituting into foralls.
* Fix a bug in which resolveTypeSynonyms would incorrectly expand type
  synonyms that are not applied to enough arguments.
* Allow the test suite to build with GHC 9.2.