Class SideEffectStep<S>