@hackage test-invariant0.4.5.0

Provide common invariants to be checked with QuickCheck

test-invariant is a library for providing common invariants of functions as higher order polymorphic functions. This reduces for a lot of cases the need for writing prop_ functions for QuickCheck.

>>>>>>>>>