I'm not sure what you mean, optionals are just a sum type (says so in your own article) and Ocaml support for them is first class, also option is a built in Oca

I'm not sure what you mean, optionals are just a sum type (says so in your own article) and Ocaml support for them is first class, also option is a built in Ocaml type http://batteries.forge.ocamlcore.org/doc.preview:batteries-beta1/html/api/Option.html http://batteries.forge.ocamlcore.org/doc.preview:batteries-b...