此意图会将函数的类型约束(生存期和特征)移动到 where 子句。