MakeArgGetter creates a function that returns an argument at index n from chain c that asserted to type T You can create (but not use) this getter before the corresponding argument is in the corresponding chain.

TODO: tests.