some monoid instances
maybe wrappers
fixes + bool wrappers
Nat is a Monoid
Int is a Monoid and Group
instances for Rat and List