Re: [GHC] #12500: Open Type Family Kind Resolution