Types 类型系统代数-导数的使用

我记得有一个网页描述了与函数式编程任务相关的有趣技术。问题是我不记得那是什么

例如，它有一个二叉树节点

（左树、右树、数据d）

，可以描述为

树*tree*Data

，或者

树^2*Data

。然后，例如通过

树

进行推导时，我们得到

2*Tree*数据

你能告诉我这是用来干什么的吗？

听起来像是一个笑话

---

接下来：这类事情的咒语是“类型的派生是它的单孔上下文”。这个想法是，如果你想用一个插入点来表示二叉树，数据结构就是从洞到树的根的路径，在每个节点上，你必须记住你是从左边来的还是从右边来的，还有这个节点上的数据，还有你不来自的子树。这正是2的元组（又名左/右）*数据*树。

我知道一个模糊的问题，但我所记得的就是推导这个表达式