ScalaCheck - more general generation, but something is going wrong with the sparsity