Y组合子的一个启发式推导_函数式编程_canonical