https://without.boats/blog/patterns-and-abstractions/
I think what they want are typed algebraic effects 🥹