Re: [GHC] #13048: Splitter is O(n^2)