adapt head.hackage to remove arity inference patch

This is a partial fix of head.hackage pipeline for ghc!10660 (closed) patch.

I adapted almost all libraries to the patch, the only one that wasn't adapted - singletons-th. This library compiles, but it doesn't capture invisible binders, so produced code is ill-typed. Here is an MRE of broken code:

import GHC.TypeLits
import Data.Singletons.TH

type MyTypeFamily :: r
type family MyTypeFamily @r
type instance MyTypeFamily = True

$(genDefunSymbols [''MyTypeFamily])

The problem is closely related to ghc#22828, as I can understand, currently there is no way to obtain list of invisible binders from TH, so I'm asking for help with figuring out the best way to solve this issue.

cc @RyanGlScott