Test.QuickCheck.State
data
State