For most PLs, algebraic effects look ideal. Just seems like we're figuring out how to talk about them to users and what the UX should be.