Is there an idiomatic way to import record fields into the scope of a choice?

Yes, you can write let Foo{..} = f, where Foo is the name of the record type. This is an extension to let Foo{a, b} = f syntax, which you may prefer in some situations to skip variables or be slightly more explicit.

This and some other record dismantling tips can be found in this tutorial.

edit: I genuinely didn’t notice that your record type was also called Foo

2 Likes