2 ms·
You can sort of consider them as open sum types which third parties can add additional summands to but that's probably not a very helpful way of thinking about
by tome 9y ago
You can sort of consider them as open sum types which third parties can add additional summands to but that's probably not a very helpful way of thinking about them.