3 ms·
> You can sum the same type (union(Int, Int) simply is Int) I'm not sure this is the case. In some cases Union(Int, Int) might be interpreted as a union of Le
by earleybird 4y ago
> You can sum the same type (union(Int, Int) simply is Int)
I'm not sure this is the case. In some cases Union(Int, Int) might be interpreted as a union of Left-Int or Right-Int
Then again, my understanding of sum vs union might not be overly precise :-)
edit: s/now/not/