Note that PyPy does something similar, but based on (meta-)tracing instead of partial evaluation.

See https://stefan-marr.de/papers/oopsla-marr-ducasse-meta-traci... for a discussion.