Enum and Monoid Laws