[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.