Apply (and Semigroup) Effect