added Monoid testing file