3 存在型の自己準拠、共変性と反変性