Using a template function with two distinct fields.
Example of arithmetic in the Modular<int> finite field.