ScalaCheck + Futures proposal.