cococonut·5 年前·議論Kind is also used as the reference implementation for kubernetes, so you know it’s compliant and won’t have weird mismatch bugs.
cococonut·5 年前·議論And PureScript.OCaml also has polymorphic variants. Which could also be called anonymous sum types.