great things -> QuickCheck, STM