i wish we had polymorphic variants a la ocaml so that type-level symbols wouldn’t require declaring new type-level items. a little bit of structural typing can

i wish we had polymorphic variants a la ocaml so that type-level symbols wouldn’t require declaring new type-level items. a little bit of structural typing can take you far.