Re: [GHC] #14135: PatternSynonyms regression in GHC HEAD (expectJust mkOneConFull)