> if there's a bug in the first call site, then the inference engine is going to assume that it is correct and going to raise an error in the second callsite an

> if there's a bug in the first call site, then the inference engine is going to assume that it is correct and going to raise an error in the second callsite and the definition. So you've got crazy error messages and it's super hard to track down that the first callsite is responsible. Is there a way to write OCaml code to minimize the risk of this?