in tagless that is only true if you monads are sta...

# arrow

[raulraja]

in tagless that is only true if you monads are stack safe, for example IO, Deferred, Observable etc because they support async jumps