Re: [GHC] #13643: Core lint error with TypeInType and TypeFamilyDependencies