4 ms·
It doesn't have to be, but it can be, and preventing it from being a sum type because you might sometimes want a product type seems overly complex to me.
by lalaithion 8y ago
It doesn't have to be, but it can be, and preventing it from being a sum type because you might sometimes want a product type seems overly complex to me.