Module that holds laws for Monoid implementations
Note that you should use the semigroup_laws module to get the associative
law test.
§Examples
use frunk_laws::monoid_laws::*;
quickcheck(left_identity as fn(String) -> bool);
quickcheck(right_identity as fn(String) -> bool);
Run