Function check_merge_laws 

pub fn check_merge_laws<T>(
    identity: &T,
    samples: &[T],
) -> Result<LawReport, LawFailure>
where
    T: Mergeable + Clone + PartialEq,