tasty-laws (hackage): Preassembled tasty TestTrees for property testing Monoid, Functor, Applicative and Monad laws.
Keywords: bsd3|library|testing