"An effect is the structural information of a Functor, i.e., the part that is not parametric.

The state value in State, failure in Maybe and Either, the number of elements in [], and – of course – arbitrary external side effects in IO."

(C. A. McCann)