shrinkTuple
forall takes multiple generators
Cleanup specs
Merge pull request #3 from phadej/forall-multiple

Forall with multiple parameters