pub fn right_identity<A: Monoid + Eq>(a: A) -> bool
Right identity law
x <> mempty = x
use frunk_laws::monoid_laws::*; quickcheck(right_identity as fn(String) -> bool);