Я читаю Предложение Swift Evolution 244 (Непрозрачные типы результатов) и не понимаю, что означает следующее:
... экзистенциальный тип ...
Можно составить эти преобразования
используя экзистенциальный тип Shape вместо общих аргументов, но
это будет означать больше динамизма и времени выполнения, чем может быть
желательно.