Add patches for ghcide dependencies

Helpful to make GHCIDE compile with GHC 9.2.

Not enough to actually run it.

Patches are basically taken from:

• https://github.com/obsidiansystems/dependent-sum/pull/59
• https://github.com/mokus0/th-extras/pull/8