在Haskell中，類型簽名是函數的聲明，它指定了函數的參數類型和返回類型。類型簽名通常寫在函數定義的前面，使用::符號將參數類型和返回類型分隔開來。以下是一個簡單的函數類型簽名的示例：
add :: Int -> Int -> Int
在這個例子中，函數add接受兩個Int類型的參數，并返回一個Int類型的結果。第一個Int類型表示第一個參數的類型，第二個Int類型表示第二個參數的類型，最后一個Int類型表示函數的返回類型。
類型簽名可以幫助程序員更好地理解函數的用途和功能，并提供了類型檢查的依據，可以幫助在編譯時捕獲類型錯誤。
