I’ve seen this talk recently. It’s focused on code transformation but basically is a parser able to generate parser combinators from my understanding. I suppose it’s a bit far from your concern but maybe there is something useful in his work so I’ll share anyway:
