Use test-framework-quickcheck2
Add .ghci