QuickCheck Template.