Relaxed constraints on hspec and QuickCheck.