How do I use a binary operator (such as union or direct sum) as a large operator (such as sum or product)?