I think the existence of tools like this is a succinct way to say that static/declarative languages are really hard to execute.