해당하는 수퍼타입의 모든 연산을 지원하는 타입입니다. subtype 키워드는 소괄호와 함께 사용하여 한 타입이 특정 타입에 제한된다는 것을 명시할 수 있습니다. 예를 들어, 몇 가지 Verse 배열 메서드는 subtype을 사용하여, 해당 메서드가 작동하기 위해서는 배열의 모든 엘리먼트가 comparable 수퍼타입을 갖고 있어야 한다고 지정합니다.
Verse
(Input:[]t where t:subtype(comparable)).RemoveFirstElement<public>
(ElementToRemove:t)<computes><decides>:[]t
RemoveFirstElement이 경우 배열 엘리먼트가 배열의 엘리먼트 중 ElementToRemove 실행인자와 같은 엘리먼트가 있는지 판단할 수 있도록 comparable 수퍼타입을 가져야 합니다.