Import QuickCheck into ghci