Now that Elixir is gradually phasing in typing (https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/) I might finally bite the bullet (unless OCaml gets an actor model and a web framework to compete with Phoenix)