I recently ported the Hardcaml_step_testbenchlibrary, one of the libraries thatwe use at Jane Street for Hardcaml simulations, from using monads to using alg...