7 ms·

Indeed, there's a good reason why sums (unions) and products (records) are the most primitive abstractions in various logics and mathematics.