4 ms·
Good point; I guess that's really crux of the issue: we use it as a sum Type, but the compiler sees it only as a product Type
by SmooL 6y ago
Good point; I guess that's really crux of the issue: we use it as a sum Type, but the compiler sees it only as a product Type