Comments on union and record combinators.