effect-systems

Expert skill for designing and implementing algebraic effect systems, including effect annotation, inference algorithms, handlers, polymorphism, and row-based effect typing.