Here, the \hs{SumC} type effectively signals which of the latter three
fields of the \hs{Sum} type are valid (the first two if \hs{A}, the
Here, the \hs{SumC} type effectively signals which of the latter three
fields of the \hs{Sum} type are valid (the first two if \hs{A}, the