Run tests in the SC monad
Changelog
Make test generation monadic as well
Change type arguments order in Testable to match Series/Serial
Remove examples

I simply do not have time to keep them up-to-date.

If someone volunteers to maintain them, that would be great.
smallcheck: bump version
Bump smallcheck dependency version of test-framework-smallcheck
Add list function
Add a test hook
Export runSC
instance Typeable (Property m)
Run the hook
Update test-framework
Fix Hook
Check depth in cons* functions
Monadic smallcheck