branch monomorph
.
Lots of the more fiddly sort of module bits need it, since they can't be expressed precisely in Rust. Sigh.
Guidance for how to do it: https://borretti.me/article/design-austral-compiler#mono It looks a lot like type checking, and is similarly going to be a PITA.