Report question

Question: Testing QuickCheck properties against multiple types?