TAT-Sub-F的实现

Live coding!

实现思路：

1. 根据Babel的AST，提取出泛型函数的参数。
2. 实现类型的递归替换函数。

---

作业

1. 实现TAT-Sub-F，通过所有测试用例。