Redirecting to /blog/2021/06/05/【函数式】如何使用子类型多态/