4 ms·In ML, constructors aren't subtypes of a sum type. And that's a good thing.by catnaroek 9y agoIn ML, constructors aren't subtypes of a sum type. And that's a good thing.