Isn’t using parametric polymorphism to get static dispatch reliant on monomorphization? That’s at least the common case in Rust.