Rust has a macro system and has resisted having a kind system. And that's not a limitation. The 3% of the time you need dynamism outside the simple type system, you write a macro, and it's a little ugly. But the other 97% stays simple, composable, and elegant. Embracing the ugly edge case, making it small, and not letting it contaminate the rest is the design philosophy I'd apply to almost everything.