嵌套记录上的纯脚本匿名函数参数？

Question

是否可以以某种方式以某种方式将匿名函数参数应用于嵌套记录？

type UName = {fname :: String, lname :: String}
type XName = { xname :: UName, addr :: String}

updateU = _ { xname : { fname : _ } } -- not ok
-- or 
updateU = _ { xname.fname = _ } -- not ok
-- or 
updateU = _ { xname : fname = _ } } -- not ok

上面的试验说上下文是无效的。目标是实施：

updateU = \x ->  { xname : { fname : x } }

Answer 1

最短的版本使用nested record updates，看起来像这样：

updateU :: XName -> String -> XName
updateU = _ { xname { fname = _ } }