Allow sum types' subtypes to be used as their own types#3

Open

TheLimePixel wants to merge 2 commits intomainfrom sum-types

Commits on Mar 30, 2024

Treat sum types as named closed unions of other types
TheLimePixel
committed

Commits on Apr 12, 2024

Change sum types to instead define their subtypes as new types which may be used on their own
TheLimePixel
committed