Monoids for non-negative integers (Natural) and ints (Nat)
The naturals form a module over any of our monoids.