Uses of Class
io.vavr.test.Property.ForAll7