これ読みながら思ったのは、C# Delphi(?)/Java(?)で言う所のInterface・・・？＞＜（ぜんぜん違う？＞＜；）

型システムの理論からみるSwiftの存在型(Existential Type) - Qiita https://qiita.com/ukitaka/items/a993b5d7ed5ae84b1b52