let is_car = function Product(Car), _ -> true | _ -> false