arrow-optics-test
arrow.optics.test.laws