Re: [GHC] #15829: Add a test case for tricky type synonyms involving visible dependent kinds