Module that holds laws for Semigroup implementations
use frunk_laws::semigroup_laws::*; quickcheck(associativity as fn(Vec<i8>, Vec<i8>, Vec<i8>) -> bool)