Re: [GHC] #13451: Bind implicit parameter in patterns