# A function with formal set arguments forces its argument set and verifies its type.
({ ... }@args: 42) [ ]