返回
有类型lambda演算
无内容