<div dir="ltr">Hello everyone!<div>a recent conversation I has having led to an interesting question: is there a good interface or something for Monads which guarantee tail calls are tail calls? (ideally via a stronger api assumption for tail position computations in a monad rather than "trustme" style api contracts)</div><div><br></div><div>thx </div><div>-Carter</div></div>