[masklinn]

Non-generic sum types are useful but you can’t build an option or result type out of them, so the usefulness is somewhat hampered.

[ccktlmazeltov]

But you don't need to, generic Option and Result types could be built as part of the standard library.

[masklinn]

Yes but then you need neither sum types nor user-defined generics, you can just build-in whatever sugar is useful or necessary (possibly repurposing existing sugar e.g. the `select` statement).

[ccktlmazeltov]

sum types are still super useful imo without generics.