On using the field archetype to avoid code bloat.
Using a template function with two distinct fields.
Example of arithmetic in the Modular<int> finite field.