Re: [GHC] #11641: Allow wildcards for parameters functionally determined (also type synonyms)