Artifact: cats-mtl-laws_0.27