相关疑难解决方法(0)

用户2426021684的评论让我调查是否有可能提出一个类型函数,以证明对于某些和:FF c1 c2 fafa

1. fa ~ f a
2. c1 f
3. c2 a

事实证明,最简单的形式很容易.但是,我发现很难弄清楚如何编写多角度版本.幸运的是,当我写这个问题时,我设法找到了一种方法.