I'd love to hear more about your workflow engine, I think the expressiveness of lean and the type system makes it extremely well suited for stuff like that

I do agree that the lack of IO and libs in lean isn't really a drawback when there's a very clear interop path already