Re: [GHC] #14228: PatternSynonyms Non-exhaustive with UnboxedSums