Or use OCaml 5 which has a full algebraic effects system that solves the function coloring problem while still being highly performant.