QuickCheck random generation from MultiGenerics