Foundations for effects