в случае variadic пых будет проверять тип для каждого элемента, потому да это медленно. Потому дженерики запилить в пыле проблематично.
Проблема в том что zval для списков не имеет информации о том что внутри списка. Расширить zval = увеличить размер структуры = увеличить вероятность кэш мисов = пустить по пизде весь профит от php7
Последние пару недель Никита Попов работал над исследованием возможности реализации дженериков. Если коротко, то, по словам Никиты, есть несколько серьёзных трудностей и он в целом пока не уверен, что добавить полноценные дженерики в PHP это хорошая идея. Есть PR с прототипом реализации https://github.com/nikic/php-src/pull/3 и все проблемы и открытые вопросы подробно изложены вот тут https://github.com/PHPGenerics/php-generics-rfc/issues/45