Re: [GHC] #11466: Constraint synonym with Implicit Parameter