此意图会将类型形参边界从 where 子句移至形参列表。