How I'm designing an effect system for WX, a language and compiler targeting WebAssembly: where effects come from, how they compose, and what the information buys you.