关于haskell：以下某些树形数据类型在计算机科学中使用的名称是什么？

What are the names used in computer science for some of the following tree data types?

有时我会在Haskell中使用不同类型的树，但我不知道它们的名称，也不知道在哪里可以使用它们或类实例获取有关算法的更多信息，甚至不知道某些早已存在的代码或库。骇客。

示例：

标签在叶子或树枝上的二叉树：

1
2
3
4
5

data BinTree1 a = Leaf |
Branch {label :: a, leftChild :: BinTree1 a, rightChild :: BinTree1 a}

data BinTree2 a = Leaf {label :: a} |
Branch {leftChild :: BinTree2 a, rightChild :: BinTree2 a}

类似地，每个子节点带有标签的树或所有子节点带有通用标签的树：

1
2
3

data Tree1 a = Branch {label :: a, children :: [Tree1 a]}

data Tree2 a = Branch {labelledChildren :: [(a, Tree2 a)]}

有时我开始使用Tree2，并且在开发过程中以某种方式将其重构为Tree1，这似乎更易于处理，但是我从未对此进行过多思考。这里有某种双重性吗？

此外，如果您可以张贴其他您认为有用的其他种类的树，请这样做。

总而言之：您可以告诉我的那些树的所有内容将非常有用！：)

谢谢。

编辑：

说明：这不是家庭作业。只是我通常最终会使用这些数据类型并创建实例(Functor，Monad等)，也许，如果我重新命名它们，我会发现带有已实现内容和更多理论信息的库。

通常，当Hackage上的库名称为Tree时，它实现BinTree2或某种版本的非二进制树，仅在叶子上带有标签，因此在我看来，Tree2和BinTree2可能具有其他名称或标识符。

我还觉得可能存在某种双重性或同构性，或者一种将使用Tree1的代码转换为使用Tree2进行某些转换的代码的方法。有没有？可能只是印象。