Put "Valid x =>" constraint on joinDrive QuickCheck property
-rw-r--r-- 486 .ghci
-rw-r--r-- 39 .gitignore
-rw-r--r-- 1015 .travis.yml
-rw-r--r-- 1524 LICENSE
-rw-r--r-- 1172 README.md
-rw-r--r-- 46 Setup.hs
drwxr-xr-x - System
-rw-r--r-- 1658 changelog.md
-rw-r--r-- 2358 filepath.cabal
-rw-r--r-- 61 prologue.txt
drwxr-xr-x - tests