Haskell 中的多态性是通过类型类和多态类型来实现的。
- 类型类（Type Class）：类型类是一种用于定义一组相关操作（函数）的接口，可以让不同类型的值具有相同的行为。例如，Eq 类型类定义了相等性操作，Ord 类型类定义了比较大小的操作。定义一个类型类可以通过以下方式：
class Eq a where
(==) :: a -> a -> Bool
(/=) :: a -> a -> Bool
- 多态类型（Polymorphic Types）：在 Haskell 中，函数和数据类型可以具有多态性，即可以接受多种类型的参数或返回多种类型的结果。例如，以下是一个多态的函数定义：
length :: [a] -> Int
length [] = 0
length (x:xs) = 1 + length xs
这里的 length 函数可以接受任意类型的列表作为参数。
通过类型类和多态类型的结合，Haskell 实现了强大的多态性，使得代码可以更具通用性和灵活性。
