...the three designs require a declaration to define a sumtype.

There is no inline declarations...

...or like Zig does, define the pointer semantic restrictions in the type), but that goes...

...member-of-operator to define an element you...sumtype.
2. Allow value type exceptions to be...

...the tag type is enumerated type that is...it's better to define it. That way...

...at a time.

One way to define a type is as a set of possible...

...then in the specs you define "if the StaticArray sub-type resolves to a  sequence...

...unpacking any tuple-like type into multiple components...want some way to define a manual unpacking...

...controlled by the programmer. If you define a separate type for user-controlled strings, the...

...javaness

I refuse, i literally refuse to type these kind of messy code, i'll...

...argument to `define` must be a string literal (not an expression of type string) that...