column value
英文名稱 contravariant functor
中文名稱 反變函子