It would eliminate the parallel hierarchy, and branching depending on the type of a field, which we do in `FieldGenerators`.