feat(data/fintype): instances for infinite (α ⊕ β) and infinite (α × β) (#10196)
infinite (α ⊕ β)
infinite (α × β)