use lubeck::prelude::*;
use proptest::prelude::*;

proptest! {
    #![proptest_config(ProptestConfig {
      cases: 10000, .. ProptestConfig::default()
    })]

    #[test]
    fn string_mappend_associativity(a: String, b: String, c: String) {
        prop_assert_eq!(a.clone().mappend(b.clone()).mappend(c.clone()), a.mappend(b.mappend(c)))
    }
}