First of all, thank you for your great package.
defaultMainGenerator2 generates a list which contains props first and cases second.
I usually write props and try tests. When QuickCheck find a specific data, I create cases. So, cases should be tested first next time to save my time.
prop tests first, case tests second.