4 ms·
It's not clear to me that that would satisfy the categorical properties of coproduct that are wanted.
by wbl 2y ago
It's not clear to me that that would satisfy the categorical properties of coproduct that are wanted.
- foldr 2y agoNobody cares about the categorical properties of the coproduct. But in any case, there's no theoretical issue here, since it would be just as if every enum had a 'Nil' variant implicitly defined.