This isn't code generation. This exists in other typed languages including Go. It's called interfaces or polymorphism. It's done via interfaces or inheritance i

This isn't code generation. This exists in other typed languages including Go. It's called interfaces or polymorphism. It's done via interfaces or inheritance in other languages. This is still a restriction. A function that operates only on a "traversable" type is still a function that is restricted to that type class.