Re: [GHC] #13071: GHCi 8.0.1 panic with PatternSynonyms