> Unlike the condition system algebraic effects are typed What exactly do you mean? Conditions are typed in Lisp with proper inheritance, and handlers can be b

> Unlike the condition system algebraic effects are typed What exactly do you mean? Conditions are typed in Lisp with proper inheritance, and handlers can be bound only to particular types of conditions.