Don't make tested code silent for debugging
Rename Example type class to Testable
Bump version
Add a function that fixes the type of an Expectation
Allow to use expectations as QuickCheck properties
Require QuickCheck >= 2.5.1
Remove a pending example