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