예:
module Enumerable[unchecked out A] end class Example[in A] # 클래스 'Example'의 반공변성 타입 변수 'A'가 공변성 인수로 사용됩니다 include Enumerable[A] end