Test.QuickCheck.All

Testing all properties in a module.

Testing polymorphic properties.