...but I guess it will probably be a several years before they'll be in the hands of programmers in even niche programming languages like OCaml, and decades more before they show up in more mainstream ones.[1]

[1] That is, unless effect-based languages like Koka suddenly have a massive rise in popularity.