This blog post explores the concept of polymorphism in Rust, contrasting OOP-style dynamic polymorphism with Rust's generic polymorphism. The author argues that these two forms are interconnected and presents examples demonstrating that generics can enhance type safety and binary compatibility. Key insights include creating a new 'accept' method for function calls to avoid mismatched types and increase code safety. The article also reflects on the broader implications for type erasure and runtime type information (RTTI) in Rust, suggesting that the current system can be improved to better preserve type information without introducing overhead.