In Ada, why doesn't a child get instantiated with the generic parent and why do I have to make it generic as well?

Question

I\'ve got a parent package with some generic interface. I now want to create several implementations of this interface, each in a different file. I thought I could simply ma