switch tests to tasty
require commutative monoid r