In this post, I explain a common mistake when writing constraints of polymorphic functions in OCaml programs, then show how to correct it…