TIL экзистенциальный типы и то, что при помощи них можно сделать динамическую диспетчеризацию. Интересно, можно ли в х-ле сделать динамическую множественную диспетчеризацию?