I think this could read "Takes a QuickCheck".