3 ms·And PureScript. OCaml also has polymorphic variants. Which could also be called anonymous sum types.by cococonut 5y agoAnd PureScript. OCaml also has polymorphic variants. Which could also be called anonymous sum types.