Maneira abreviada de atribuir um único campo em um registro, enquanto copia o restante dos campos?

Digamos que eu tenha o seguinte registro ADT:

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

Eu quero uma função que leva um registro e retorna um registro (do mesmo tipo) onde todos, exceto um dos campos têm valores idênticos ao passado como argumento, assim:

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

O procedimento acima funciona, mas para um registro com mais campos (digamos 10), a criação de tal função envolveria muita digitação que considero desnecessária.

Existem maneiras menos tediosas de fazer o mesmo?

Sim, existe uma boa maneira de atualizar os campos de registro. No GHCi você pode fazer -

> 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 é um bom trabalho para lentes :

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

test = Foo 1 2 "Hello"

Então:

setL c "Goodbye" test

atualizaria o campo 'c' de 'teste' para sua string.

Você não precisa definir funções auxiliares ou empregar lentes. O Haskell padrão já tem o que você precisa. Vejamos o exemplo de Don Stewart:

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

test = Foo 1 2 "Hello"

Então você pode simplesmente dizer test { c = "Goodbye" }para obter um registro atualizado.