[impl] add "product" concept