f = args @ {x, y, z}: ...;
  `args' refers to the argument as a whole, which is further
  pattern-matched against the attribute set pattern {x, y, z}.
		
	
			
		
			
				
	
	
		
			1 line
		
	
	
	
		
			24 B
		
	
	
	
		
			Nix
		
	
	
	
	
	
			
		
		
	
	
			1 line
		
	
	
	
		
			24 B
		
	
	
	
		
			Nix
		
	
	
	
	
	
| args@{args, x, y, z}: x
 |