characterization of subset of Monads that respect tail calls?

[Carter Schonwald]

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)

thx
-Carter
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20220926/9eee0ad2/attachment.html>