I am in the process of trying to make a new Test file, using QuickCheck. Right now, ghci complains that it can't find the module Test.QuickCheck, even though I've added the library to my cabal file and installed it. I need to figure out what is wrong.