catdir.
catfile.
Generalize a formula from a list of arg types.
Use the new generalizer.