Generic Polymorphism in Crystal

In crystal, when you compile a program, then everything is almost everything is resolved at that time. So there's still some kind of flexibility like with function pointers and all this kind of stuff. But it's really more traditional approach to what static compiled languages do usually. Each type has its own type, like nothing is shared between different generic instantiations.