module Test.Laws where