Re: [GHC] #14803: Panic during desugaring I think