Re: [GHC] #13875: ApplicativeDo desugaring is lazier than standard desugaring