That sounds cool to me, and I understand this mimics what Cabal is doing anyway elsewhere (that's why those greedy parsers work).