型
非変
共変
反変