类型约束的本质是：类型构造器在约束类型的基础上构造新的函数类型

【推广】免费学中医，健康全家人

原文地址：https://www.cnblogs.com/feng9exe/p/10531623.html