pub fn collect_product(ob: Ob) -> Result<Vec<Ob>, String>
Collects application of a product operation into a list of objects.