Effect Systems Skill Design and implement algebraic effect systems for tracking and handling computational effects in programming languages. Capabilities - Design effect annotation syntax - Implement effect inference algorithms - Implement effect checking and tracking - Design effect handlers (algebraic effects) - Handle effect polymorphism - Implement effect rows and extensibility - Design effect subtyping - Generate effect-based optimizations Usage Invoke this skill when you need to: - Add an effect system to a language - Implement algebraic effects and handlers - Track computational effect…