args@{ a,b,... }: a + b + args.c
# or
#{ a,b,...}@args: a + b + args.c