在函数中使用声明中的类型变量

Question

我是Haskell的新手，我试图在记录类型的创建（不确定在Haskell中调用什么）中使用函数声明中的类型变量。
和往常一样，代码可以更好地说明我的问题：

data S a = S {x::a}

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

GHC说a不在最后一行。 如何做到这一点？

Answer 1

使用fn = S {x=n} ，不需要类型变量

Answer 2

如果确实需要声明中的类型变量，请使用作用域类型变量扩展名。