characterization of subset of Monads that respect tail calls?

Carter Schonwald carter.schonwald at
Mon Sep 26 20:38:47 UTC 2022

Hello everyone!
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)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list