在Haskell中，类型签名是函数的声明，它指定了函数的参数类型和返回类型。类型签名通常写在函数定义的前面，使用::符号将参数类型和返回类型分隔开来。以下是一个简单的函数类型签名的示例：
add :: Int -> Int -> Int
在这个例子中，函数add接受两个Int类型的参数，并返回一个Int类型的结果。第一个Int类型表示第一个参数的类型，第二个Int类型表示第二个参数的类型，最后一个Int类型表示函数的返回类型。
类型签名可以帮助程序员更好地理解函数的用途和功能，并提供了类型检查的依据，可以帮助在编译时捕获类型错误。
