[sgeisenh]

Especially if modular implicits land, you get the best of both functions and typeclasses.

Pretty weird way to start the post.

[wk_end]

That's a big "if". The author themselves mentions modular implicits and points out that they haven't been updated in something like five years. I don't think modular implicits are going to happen in Ocaml in our lifetimes.