When I write dhall, I often want a function to take a record
\(r : { foo : Text, bar : Text }) -> "Hi foo is ${r.foo} bar is ${r.bar}"
Notice how I have to give the record a nonsensical name “r”.
More natural:
\({ foo : Text, bar : Text }) -> "Hi foo is ${foo} bar is ${bar}"
or even
\{ foo : Text, bar : Text } -> "Hi foo is ${foo} bar is ${bar}"
This corresponds to this nix code:
{ foo, bar }: "Hi foo is ${foo} bar is ${bar}"