a new type system feature

	Arguments	Returns
Value-level abstraction	Existentials	Existentials
Type-level abstraction	Generic arguments	Opaque Type

some의 주요 이점은 타입 정보를 숨기면서도 컴파일러가 타입을 알 수 있게 하여 타입 안전성과 최적화를 제공하는 것입니다.

공식 문서

WWDC