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