¿Una forma abreviada de asignar un solo campo en un registro, mientras se copia el resto de los campos?

Digamos que tengo el siguiente registro ADT:

data Foo = Bar { a :: Integer, b :: String, c :: String }

Quiero una función que tome un registro y devuelva un registro (del mismo tipo) donde todos menos uno de los campos tienen valores idénticos al que se pasó como argumento, así:

walkDuck x = Bar { a = a x, b = b x, c = lemonadeStand (a x) (b x) }

Lo anterior funciona, pero para un registro con más campos (digamos 10), crear una función de este tipo implicaría una gran cantidad de escritura que creo que es bastante innecesaria.

¿Hay formas menos tediosas de hacer lo mismo?

Sí, existe una buena forma de actualizar los campos de registro. En GHCi puedes hacer -

> data Foo = Foo { a :: Int, b :: Int, c :: String }  -- define a Foo
> let foo = Foo { a = 1, b = 2, c = "Hello" }         -- create a Foo
> let updateFoo x = x { c = "Goodbye" }               -- function to update Foos
> updateFoo foo                                       -- update the Foo
Foo {a = 1, b = 2, c = "Goodbye" }

Este es un buen trabajo para lentes :

data Foo = Foo { a :: Int, b :: Int , c :: String }

test = Foo 1 2 "Hello"

Luego:

setL c "Goodbye" test

actualizaría el campo 'c' de 'prueba' a su cadena.

No es necesario definir funciones auxiliares ni emplear lentes. Haskell estándar ya tiene lo que necesitas. Tomemos el ejemplo de Don Stewart:

data Foo = Foo { a :: Int, b :: Int , c :: String }

test = Foo 1 2 "Hello"

Entonces puede simplemente decir test { c = "Goodbye" }que obtenga un registro actualizado.