translate variance and unification. 変性と単一化について訳
export. 単一化まで