✨ Effect InferenceSide Effect Analysis, Purity Tracking, Effect Polymorphism, Type-and-Effect Systems