I'm not sure I get why we want to test the monoid laws here. This is just a lookup mechanism to help alleviate the lack of implicit in Java. So the test validates that the lookup mechanism works. caveat, for non parametric classes