Test.QuickCheck.State
data State