[scala] time for sets.