some ::t in product