Product
class
ProductCategory
c
proj1
proj2
(&&&)
(***)
data
ProductF
c