Artifact: algebra-laws_2.13.0-RC1