ghci Main.hs -i../../src:../framework -package QuickCheck-1.2.0.0