TIL What does “existential type” mean in Swift?: an alternate naming of an existential is ‘protocol as type’.