28. Effect systems and effect handlers

Track observable behavior such as state, failure, nondeterminism, and I/O in function types. Implement algebraic effects and handlers, then compare them with exceptions, monads, and direct runtime support.