I 
static languages, and hope Julia moves in the direction to better support static checking, including a mode to drop support for dynamism.
C++ (e.g. the STL, which decouples algorithms from containers better than Julia) is a great example of generic code in a static language.
Julia wouldn’t have to give up much genericness in giving up is dynamism. It would, however, have to give up the parts I don’t like and that make me pull my hair out.