En el ejemplo para la inserción para el combinador "forAll" nos dice que escogerá cuatro veces una lista diferente de vacío([])y una vez una lista vacía ([]).