Tail call elimination in Koka and effects

[saolof]

Hi, quick question.

Does Koka have general tail call elimination even when the tail call is a call to a ctl function provided by an effect? And more generally, does it still work with arbitrary combinations of tail calls to and from ctl functions, calls to and from regular functions, and calls to and from closures?

I'm curious about this primarily to play around with Koka to build control structures and play around with alternative evaluation orders. Like for example using effects to do breadth first recursion where the exact same calls are done as in depth-first but in a different order, and more general iterative deepening strategies.