OCaml has polymorphic variant which are those “not found in any language” anonymous sum type