Re: [GHC] #7785: Module-local function not specialized with ConstraintKinds