Conversely, typed values can be abstracted .

• 反之，有类型值也可以被抽象。