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中，函數式數據結構通常使用不可變性來保證線程安全和純函數的特性，因此在操作數據結構時通常會返回一個新的數據結構而不是修改原始數據結構。這種方式可以避免副作用，使代碼更加清晰和可維護。
