test-monad-laws (hackage): See README
Keywords: library|mit|test