Try fixing QuickCheck, since it seems to be the trouble.