Re: [GHC] #8616: "Internal error" with ScopedTypeVariables and kind variables