A GenT monad transformer for QuickCheck library