3 ms·I think he might be talking about C-style unions instead of ML-style algebraic data types.by ufo 12y agoI think he might be talking about C-style unions instead of ML-style algebraic data types.