haskell - 関数内の宣言からの型変数の使用

Question

私はHaskellを初めて使用し、レコード型の作成時に関数宣言から型変数を使用しようとしています(Haskellでこれを何と呼ぶか​​はよくわかりません)。
いつものように、コードは私の問題をよりよく説明しています:

data S a = S {x::a}

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

GHC は、最後の行で a がスコープ外であることを示しています。これはどのように達成できますか？

Answer 1

を使用f n = S {x=n}、型変数は不要