Re: [GHC] #15796: Core Lint error with visible kind application (was: Core Lint error)