In Haskell you can write
f x@ (a, b, c) = x
Does Elm have an equivalent to this?
Yes, Elm uses the ML variant of this syntax , which is postfix as name instead of the Haskell name@ prefix:
as name
name@
f ((a, b, c) as x) = x