That's something I have thinking about lately. It would be interesting to know if there's any prior work of implementing delimited continuations on MLIR.