Basic Applicative laws, useful for testing any app.
Base properties useful for all tests using Algebird's typeclasses.
Base properties for VectorSpace tests.
Basic Functor laws, useful for testing any functor.
Basic Monad laws, useful for testing any monad.