We describe Cartwright and Felleisen's modular and compositional approach to effects, discuss extensions and present its implementations in Haskell. The principal ideas, in the words of Cartwright and Felleisen, are: ``An effect is most easily understood as an interaction between a sub-expression and a central authority that administers the global resources of a program.'' ``an effect can be viewe