Using function barriers, I found that I can contain it when necessary, leaving type unstable code mostly in the high-level logic where it has no significant performance impact.
Eg here, but the whole topic is informative.
2 Likes