Artifact: cats-collections-laws_sjs0.6_2.13