pull out common trait for Laws, add tests for Or (work in progress; monad test for Or failing)