Canonical homomorphism from Nat to a additive monoid R with a 1.
This is just the bare function in order to aid in creating instances of AddMonoidWithOne.
Canonical homomorphism from Int to a additive group R with a 1.
This is just the bare function in order to aid in creating instances of AddGroupWithOne.