(The more I think about this, the better it sounds: leverage the type system as much as possible, so that we're less likely to be bitten down the line when someone makes a small adjustment to `Arguments` that doesn't change its size, but does change its semantics.)