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