cococonut·il y a 5 ans·discussKind is also used as the reference implementation for kubernetes, so you know it’s compliant and won’t have weird mismatch bugs.
cococonut·il y a 5 ans·discussAnd PureScript.OCaml also has polymorphic variants. Which could also be called anonymous sum types.