Re: [GHC] #9586: Implement Traversable/Foldable-Burning-Bridges Proposal