emptyProduct
KTypeClass