在Haskell中，代数数据类型（Algebraic Data Types）可以通过data关键字来定义。语法如下：
data TypeName = Constructor1 Type1 Type2 ...
| Constructor2 Type3 Type4 ...
| Constructor3 Type5 Type6 ...
...
其中，TypeName是代数数据类型的名称，Constructor1、Constructor2等是构造子（Constructors），用来表示不同的情况。每个构造子可以带有参数，参数的类型可以是任意的。代数数据类型可以有多个构造子，每个构造子可以有不同数量和类型的参数。
例如，我们可以定义一个简单的代数数据类型来表示颜色：
data Color = Red
| Green
| Blue
在这个例子中，Color是代数数据类型的名称，Red、Green、Blue是构造子。这个代数数据类型表示了三种不同的颜色。
另一个例子是定义一个代数数据类型来表示二叉树：
data Tree a = Leaf a
| Node (Tree a) (Tree a)
在这个例子中，Tree是代数数据类型的名称，Leaf和Node是构造子。Leaf构造子表示一个叶子节点，带有一个值作为参数；Node构造子表示一个内部节点，带有两棵子树作为参数。
