Re: [GHC] #15815: problem with splicing type into constraint