Correctly type 'args'