Look. I'm not against Ada. Not my favorite language but definitely huge step in the right direction.

With that said. How does:

> By letting the compilers decide the best way to implement them.

Get you to zero cost generics. What if implementor just says "let them eat memory" and boxes the generic.