Implementing Effects-Based Operations