수퍼타입

수퍼타입은 최소 하나 이상의 서브타입이 있는 타입입니다. 수퍼타입이 지원하는 모든 연산은 모든 서브타입에서 지원되어야 합니다.