例:
module Enumerable[unchecked out A] end class Example[in A] # クラス 'Example' の共変の型変数 'A' が共変引数として使用されています include Enumerable[A] end