Haskell是一种纯函数式编程语言，因此函数式数据结构在Haskell中使用非常普遍。Haskell提供了许多内置的数据结构，例如列表、元组、集合、映射等，这些数据结构都是不可变的，可以通过纯函数进行操作。
除了内置的数据结构外，Haskell还支持使用代数数据类型（Algebraic Data Types）和递归来定义自定义的数据结构。例如，可以使用代数数据类型来定义二叉树：
data Tree a = Empty
| Node a (Tree a) (Tree a)
上面的代码定义了一个简单的二叉树数据结构，其中节点可以是空的（Empty），也可以是包含一个值和两个子树的节点（Node）。可以使用递归函数来操作这个二叉树数据结构，例如实现二叉树的插入操作：
insert :: Ord a => a -> Tree a -> Tree a
insert x Empty = Node x Empty Empty
insert x (Node y left right)
| x < y = Node y (insert x left) right
| otherwise = Node y left (insert x right)
上面的代码定义了一个插入函数，它接受一个值和一棵二叉树，返回插入新值后的二叉树。这里使用了模式匹配和递归来处理各种情况。
在Haskell中，函数式数据结构通常使用不可变性来保证线程安全和纯函数的特性，因此在操作数据结构时通常会返回一个新的数据结构而不是修改原始数据结构。这种方式可以避免副作用，使代码更加清晰和可维护。
