從函數聲明中使用類型變量

Question

我很新的Haskell，我試圖從函數聲明中創建一個類型變量（不太確定是什麼在Haskell中調用它）的記錄類型。
一如往常，代碼解釋了我的問題好了很多：

data S a = S {x::a} 

f :: a -> S a 
f n = (S a){x=n} 

GHC說一個是不是在最後一行範圍。這怎麼可能完成？

Answer 1

使用f n = S {x=n}，類型變量是不必要的

Answer 2

在情況下，你做從申報所需要的類型變量，使用scoped type variables擴展。