smallcheck-laws (hackage): smallcheck properties for testing Monoid, Functor, Applicative and Monad laws.
Keywords: bsd3|library|testing