Re: [GHC] #16381: Regression: Implicitly kind variables not in scope